Handbook of automated reasoning /

Handbook of Automated Reasoning.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, �2001.
Temas:
Automatic theorem proving.
Qualitative reasoning.
Artificial intelligence.
Artificial Intelligence
Th�eor�emes > D�emonstration automatique.
Raisonnement qualitatif.
Intelligence artificielle.
artificial intelligence.
Artificial intelligence
Automatic theorem proving
Qualitative reasoning
Acceso en línea:Texto completo
Descripción
Sumario:Handbook of Automated Reasoning.
Descripción Física:1 online resource (2 volumes (xxv, 2122 pages)) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:9780444508133
0444508139
0444829490
9780444829498
0444508120
9780444508126
9780080532790
0080532799

Ejemplares similares