First Order Logic And Automated Theorem Proving Texts In Computer Science(2nd Edition)
Authors:
Melvin Fitting
In Stock
Include with your book
Free shipping: April 23, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 0387945938, 978-0387945934
Book publisher: Springer
Customers also bought these books
A Recursive Introduction To The Theory Of Computation Texts In Computer Science - 1994 Edition
Carl Smith
ISBN: 1461264200, 978-1461264200
$0 $54.99Frequently Bought Together
Ethics Theory And Contemporary Issues - 10th Edition
Andrew Fiala
ISBN: 0357798538, 978-0357798539
$0 $254.95
Killer Work From Home Websites Blogging Website Design Website Business Website Building With Sbi Site Build It Make Money Online - 1st Edition
Lee Evans
ISBN: 0615835732, 978-0615835730
$0 $55.68
Intermediate Accounting Volume 1 - 7th Edition
Thomas H. Beechy
ISBN: 1260306747, 978-1260306743
$0 $99.00
Fundamental Accounting Principles - 24th edition
John J Wild
ISBN: 1259916960, 978-1259916960
$0 $163.33
Iso 9001 2000 For Software And Systems Providers An Engineering Approach - 1st Edition
Robert Bamford; William J. Deibler II
ISBN:
$0 $150.00
Specification Of Software Systems Texts In Computer Science - 2nd Edition
V.S. Alagar
ISBN: 0857292765, 978-0857292766
$0 $55.37
Guide To Reliable Distributed Systems Building High Assurance Applications And Cloud Hosted Services Texts In Computer Science - 2012 Edition
Kenneth P Birman
ISBN: 1447124154, 978-1447124153
$0 $69.22