Logic for computer science foundations of automatic theorem proving

Sonraí bibleagrafaíochta
Príomhchruthaitheoir:	Gallier, Jean H.
Formáid:	LEABHAR
Teanga:	English
Foilsithe / Cruthaithe:	New York Harper & Row c1986.
Ábhair:	Automatic theorem proving. Logic, Symbolic and mathematical.