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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares