Naperville Public Library
Library Hours
Monday to Friday: 9 a.m. to 9 p.m.
Saturday: 9 a.m. to 5 p.m.
Sunday: 1 p.m. to 9 p.m.
Naper Blvd. 1 p.m. to 5 p.m.
Home Best Sellers Research a Topic Download & Stream Material Request My Account
     
Results Page:  Previous Next

Title Handbook of automated reasoning. Volume II / editors, Alan Robinson and Andrei Voronkov. [O'Reilly electronic resource]

Imprint Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001.
To Access:
Avilable on O'Reilly for Public Libraries
Bookmark link: https://library.naperville-lib.org:444/record=b3161435~S1
QR Code
Description 1 online resource (xxv, 963-2122 pages) : illustrations
Bibliography Includes bibliographical references and index.
Subject Automatic theorem proving -- Handbooks, manuals, etc.
Qualitative reasoning -- Handbooks, manuals, etc.
Théorèmes -- Démonstration automatique -- Guides, manuels, etc.
Raisonnement qualitatif -- Guides, manuels, etc.
Automatic theorem proving
Qualitative reasoning
Genre Handbooks and manuals
Added Author Robinson, J. A. (John Alan)
Voronkov, Andrei, 1959-
Other Form: Print version: Handbook of automated reasoning. Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001 0262182211 (DLC) 2001090839 (OCoLC)46810804
ISBN 9780080532790
0080532799
0444508139
9780444508133
Patron reviews: add a review
Click for more information
EBOOK
No one has rated this material

You can...
Also...
- Find similar reads
- Add a review
- Sign-up for Newsletter
- Suggest a purchase
- Can't find what you want?
More Information

 
 
© Naperville Public Library 2019.