Holdings: Proof and computation /

Corporate Authors:	North Atlantic Treaty Organization. Scientific Affairs Division, NATO Advanced Study Institute on Proof and Computation
Other Authors:	Schwichtenberg, Helmut, 1942-
Format:	Book
Language:	English
Published:	Berlin : Springer-Verlag, 1995.
Subjects:	Logic programming Logic, Symbolic and mathematical

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Πανεπιστήμιο Μακεδονίας	-	1	Προβολή	OPAC