Cover Image

Handbook of automated reasoning /

Show other versions (3)

Handbook of Automated Reasoning.

Bibliographic Details
Corporate Author: ScienceDirect (Online service)
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.
Artificial intelligence.
Artificial Intelligence
Théorèmes > Démonstration automatique.
Raisonnement qualitatif.
Intelligence artificielle.
artificial intelligence.
Artificial intelligence
Automatic theorem proving
Qualitative reasoning
Electronic books.
Online Access:Connect to the full text of this electronic book
Description
Summary:Handbook of Automated Reasoning.
Physical Description:1 online resource (2 volumes (xxv, 2122 pages)) : illustrations
Bibliography:Includes bibliographical references and index.
ISBN:9780444508133
0444508139
0444829490
9780444829498
0444508120
9780444508126
9780080532790
0080532799