Holdings: Arthur Merlin games and interactive proof system/

Main Author:	Τσιρώνης, Χρήστος
Format:	Book
Language:	Greek
Published:	Αθήνα: ΜΠΛΑ, 2004
Subjects:	Λογική, Συμβολική και μαθηματική

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