Kids Library Home

Welcome to the Kids' Library!

Search for books, movies, music, magazines, and more.

Back to Search Results
     
Available items only
Record 2 of 5
Previous Record Next Record
E-Book/E-Doc

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