A computational logic handbook /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Boyer, Robert S.
Otros Autores: Moore, J Strother, 1947-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Boston : Academic Press, �1988.
Colección:Perspectives in computing (Boston, Mass.) ; vol. 23.
Temas:
Automatic theorem proving.
Logic, Symbolic and mathematical.
Th�eor�emes > D�emonstration automatique.
Logique symbolique et math�ematique.
Logica.
Automatische bewijsvoering.
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource (xvi, 408 pages)
Bibliografía:Includes bibliographical references (pages 397-399) and index.
ISBN:9780121229528
0121229521

Ejemplares similares