Holdings: Computing in Horn clause theories /

Main Author:	Padawitz, Peter, 1953-
Format:	Book
Language:	English
Published:	Berlin : Springer-Verlag, c1988.
Subjects:	Logic programming Horn clauses

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