Holdings: Automated deduction :

Other Authors:	Bibel, W.,, Schmitt, P. H.
Format:	Book
Language:	English
Published:	Boston : Boston : Kluwer Academic Pub., c1995.
Subjects:	Automatic theorem proving. Logic, Symbolic and mathematical.

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
ΤΕΙ Κρήτης	QA76.9 .A96 A84 1998	3	Προβολή	OPAC