Welcome to the Kids' Library!
Search for books, movies, music, magazines, and more.
Your session will expire automatically in
0
seconds.
Continue session
End session now
Back to Search Results
SearchType
Keyword
Author
Title
Subject
Call Number
Alternate Subject
Search
Search Scope
PSU Library Consortium
Pittsburg State University
Academic Libraries
Public Libraries
Pittsburg Area
Unified School District
Leonard H. Axe Library
Career Resource Center Library
Eureka Public Library
Fort Scott Community College Library
George Nettels Elementary School Library
Kansas Technology Center Library
Lakeside Elementary School Library
Meadowlark Elementary School Library
Parsons Public Library
Pittsburg Community Middle School Library
Pittsburg High School Library
Pittsburg Public Library
Sedan Public Library
Westside Elementary School Library
Childrens Collection
Available items only
Previous Record
Next Record
Title
Handbook of automated reasoning / editors, Alan Robinson and Andrei Voronkov.
Imprint
Amsterdam ; New York : Elsevier ; Cambridge, Mass. : MIT Press, ©2001.
Connect to
Available to Pittsburg State University patrons only.
Copies
Location
Call No.
OPAC Message
Status
Axe Elsevier ScienceDirect Ebook
Electronic Book
---
Available
Description
1 online resource (2 volumes (xxv, 2122 pages)) : illustrations
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
text file
Bibliography
Includes bibliographical references and index.
Note
Print version record.
Summary
Handbook of Automated Reasoning.
Subject
Automatic theorem proving.
Qualitative reasoning.
Artificial intelligence.
Artificial Intelligence
Théorèmes -- Démonstration automatique.
Raisonnement qualitatif.
Intelligence artificielle.
artificial intelligence.
Artificial intelligence
Automatic theorem proving
Qualitative reasoning
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 9780262182218 (DLC) 2001090839 (OCoLC)46810804
ISBN
9780444508133
0444508139
0444829490
9780444829498
0444508120
9780444508126
9780080532790 (electronic bk.)
0080532799
Standard No.
AU@ 000051860713
CHNEW 001006569
DEBBG BV039832144
DEBBG BV042307533
DEBSZ 405309325
DEBSZ 434184799
NZ1 12435101
Available items only