Handbook of automated reasoning. Volume II /

Détails bibliographiques
Cote:Libro Electrónico
Autres auteurs: Robinson, J. A. (John Alan), Voronkov, Andrei, 1959-
Format: Électronique eBook
Langue:Inglés
Publié: Amsterdam ; New York : Cambridge, Mass. : Elsevier ; MIT Press, ©2001.
Sujets:
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
Accès en ligne:Texto completo (Requiere registro previo con correo institucional)

Internet

Texto completo (Requiere registro previo con correo institucional)

Error inesperado del formato de respuesta.
Informations d'exemplaires de

Documents similaires