Logic for computer science foundations of automatic theorem proving

Xehetasun bibliografikoak
Egile nagusia:	Gallier, Jean H.
Formatua:	Liburua
Hizkuntza:	English
Argitaratua:	New York Harper & Row c1986.
Gaiak:	Automatic theorem proving. Logic, Symbolic and mathematical.