Cover Image

Handbook of automated reasoning /

Show other versions (3)
Bibliographic Details
Other Authors: Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Format: eBook
Language:English
Published: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, [2001]
Subjects:
Automatic theorem proving.
Qualitative reasoning.
Electronic books.
Online Access:Connect to the full text of this electronic book
Search Result 1
Cover Image
Published 2001
Book
Search Result 2
Cover Image
by Robinson, Alan, Voronkov, Andrei
Published 2001
Connect to this electronic resource
eBook
Search Result 3
Cover Image
Published 2001
Connect to the full text of this electronic book
eBook
Show all versions (4)