Logic for computer science foundations of automatic theorem proving

Detaylı Bibliyografya
Yazar:	Gallier, Jean H.
Materyal Türü:	Kitap
Dil:	English
Baskı/Yayın Bilgisi:	New York Harper & Row c1986.
Konular:	Automatic theorem proving. Logic, Symbolic and mathematical.