Seminar
| Speaker: | Ευστάθιος Ζάχος (Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA) |
|---|---|
| Title: | Martin Davis: ENGINES OF LOGIC |
| Date: | Παρασκευή, 15 Οκτ 2010 |
| Ώρα: | 18:00-19:00 |
| You are here: Seminars » 2010-2011 » Ε. Ζάχος, 2010-10-15 |
| Speaker: | Ευστάθιος Ζάχος (Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών ΕΜΠ, NTUA) |
|---|---|
| Title: | Martin Davis: ENGINES OF LOGIC |
| Date: | Παρασκευή, 15 Οκτ 2010 |
| Ώρα: | 18:00-19:00 |
Comments