Holdings: Logic programming :

Other Authors:	Beierle, Christoph,, Plumer, Lutz
Format:	Book
Language:	English
Published:	Amsterdam ; New York : Elsevier, 1995.
Subjects:	Logic programming Formal methods (Computer science)

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
ΤΕΙ Κρήτης	QA76.63 .L63294 1995	1	Προβολή	OPAC