Logic for computer science foundations of automatic theorem proving

Dettagli Bibliografici
Autore principale:	Gallier, Jean H.
Natura:	Libro
Lingua:	English
Pubblicazione:	New York Harper & Row c1986.
Soggetti:	Automatic theorem proving. Logic, Symbolic and mathematical.