Logic for computer science foundations of automatic theorem proving

Dades bibliogràfiques
Autor principal:	Gallier, Jean H.
Format:	Llibre
Idioma:	English
Publicat:	New York Harper & Row c1986.
Matèries:	Automatic theorem proving. Logic, Symbolic and mathematical.