Holdings: Computational logic :

Other Authors:	Robinson, J. A., Plotkin, G., Lassez, Jean-Louis
Format:	Book
Language:	English
Published:	Casmbridge, Mass. : MIT press, c1991.
Subjects:	Robinson, J.A. Automatic theorem proving Logic programming

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