Holdings: Το σύστημα απόδειξης θεωρημάτων isabelle/

Main Author:	Πισσίας, Πέτρος
Corporate Authors:	Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών. Σχολή Θετικών Επιστημών., Τμήμα Πληροφορικής και Τηλεπικοινωνιών
Format:	Book
Language:	Greek
Published:	Αθήνα: [χ. ό.], 2003
Subjects:	Ηλεκτρονικοί υπολογιστές > Λειτουργικά συστήματα Ηλεκτρονικοί υπολογιστές > Προγράμματα

Βιβλιοθήκη	Ταξιθετικός αριθμός	Αριθμός Αντιτύπων	Πληροφορίες	Κατάσταση
Εθνικό και Καποδιστριακό Πανεπιστήμιο Αθηνών	ΠΕ 005.43 ΠισΠ σ 2003	2	Προβολή	OPAC