Handbook of automated reasoning. Volume II /

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 > 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
Handbooks and manuals
Acceso en línea:Texto completo (Requiere registro previo con correo institucional)
Descripción
Descripción Física:1 online resource (xxv, 963-2122 pages) : illustrations
Bibliografía:Includes bibliographical references and index.
ISBN:9780080532790
0080532799
0444508139
9780444508133

Ejemplares similares