Logic for computer science foundations of automatic theorem proving

Detalles Bibliográficos
Autor principal:	Gallier, Jean H.
Formato:	Libro
Lenguaje:	English
Publicado:	New York Harper & Row c1986.
Materias:	Automatic theorem proving. Logic, Symbolic and mathematical.