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)

Ejemplares similares

Ejemplares similares