Holdings: Symbolic logic and mechanical theorem proving /

Main Author:	Chang, Chin-Liang, 1937-
Other Authors:	Lee, Richard Char-Tung,
Format:	Book
Language:	English
Published:	San Diego : Academic Press, [1987], c1973.
Subjects:	Logic, Symbolic and mathematical. Automatic theorem proving.

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