Holdings: The computer modelling of mathematical reasoning/

Main Author:	Bundy, Alan
Corporate Author:	Academic Press
Format:	Book
Language:	English
Published:	London ; New York: Academic Press, 1983
Subjects:	Mathematics > Data processing Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Δημοκρίτειο Πανεπιστήμιο Θράκης	QA 76 .95	1	Προβολή	OPAC