Description
Automated Theorem Proving: A Logical Basis
Automated Theorem Proving: A Logical Basis
Author(s): D.W. Loveland
Publisher: North Holland
ISBN: 9780720404999
Edition:
$39,99
Delivery: This can be downloaded Immediately after purchasing.
Version: Only PDF Version.
Compatible Devices: Can be read on any device (Kindle, NOOK, Android/IOS devices, Windows, MAC)
Quality: High Quality. No missing contents. Printable
Recommended Software: Check here
