Logic for computer science foundations of automatic theorem proving

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Gallier, Jean H.
Μορφή:	Βιβλίο
Γλώσσα:	English
Έκδοση:	New York Harper & Row c1986.
Θέματα:	Automatic theorem proving. Logic, Symbolic and mathematical.