Holdings: Handbook of automated reasoning/

Cover Image

Handbook of automated reasoning/

Main Author:	Robinson, Alan
Other Authors:	Voronkov, Andrei
Format:	Book
Language:	English
Published:	Amsterdam: Elsevier, c2001
Subjects:	Automatic theorem proving

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

Cannot write session to /tmp/vufind_sessions/sess_63majlu0ug49f2me5m4h8i1230