A computational logic /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Boyer, Robert S., Moore, J Strother, 1947- (Autor)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Academic Press, �1979.
Colección:ACM monograph series.
Temas:
Automatic theorem proving.
Th�eor�emes > D�emonstration automatique.
MATHEMATICS > General.
Automatic theorem proving
Acceso en línea:Texto completo
Descripción
Descripción Física:1 online resource (xiv, 397 pages)
Bibliografía:Includes bibliographical references (pages 385-387) and index.
ISBN:9780121229504
0121229505
9781483277882
1483277887
9781322470108
1322470103

Ejemplares similares