Holdings: Handbook of tableau methods/

Other Authors:	Dʹ Agostino, Marcello, Gabbay, Dov M.,, Hahnle, Reiner, Posegga, Joachim
Format:	Book
Language:	English
Published:	Dordrecht: Kluwer Academic Publishers, c1999
Subjects:	Automatic theorem proving Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών	R 339.2 HAN	2	Προβολή	OPAC