Handbook of Automated Reasoning (2 Volume Set)
by J. Robinson, Alan Robinson, Andrei Voronkov
20012150 pages
The MIT Press·1 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Handbook of Automated Reasoning (2 Volume Set) (2001)
Handbook of Automated Reasoning (2 Volume Set) (2001)
The MIT Press
The MIT Press
Hardcover
ISBN 10: 0262182238
ISBN 13: 9780262182232