Description: Στοιχεία θεωρίας υπολογισμού/

Main Author:	Lewis, Harry R.
Other Authors:	Αντωνιάδης, Παναγιώτης, Σιδέρη, Μάρθα
Format:	Book
Language:	Greek English
Published:	Αθήνα: Κριτική, c2005
Subjects:	Θεωρία μηχανών Υπολογιστική πολυπλοκότητα Λογική, Συμβολική και μαθηματική