Holdings: Automated theorem proving :

Cover Image

Automated theorem proving : theory and practice /

Main Author:	Newborn, Monty
Format:	Book
Language:	English
Published:	New York : Springer, c2001.
Subjects:	Automatic theorem proving

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

Cannot write session to /tmp/vufind_sessions/sess_27ti42aob4ap51vhmvbg3l7155