Logic for computer science foundations of automatic theorem proving

Manylion Llyfryddiaeth
Prif Awdur:	Gallier, Jean H.
Fformat:	Llyfr
Iaith:	English
Cyhoeddwyd:	New York Harper & Row c1986.
Pynciau:	Automatic theorem proving. Logic, Symbolic and mathematical.