Holdings: Proof technology and computation /

Corporate Author:	NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany)
Other Authors:	Schwichtenberg, Helmut,
Format:	Book
Language:	English
Published:	Amsterdam ; Washington, DC : IOS Press, ©2006.
Series:	NATO science series. Series III, Computer and systems sciences, v. 200
Subjects:	Automatic theorem proving Computer programming Computer software > Development Automatic theorem proving. Computer programming. Computer software > Development. COMPUTERS > Expert Systems.
Online Access:	http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=165586

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