Γαλάνης, Α. Γ., Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, & Ζάχος, Ε. Κωδικοποίηση πιθανοτικώς ελέγξιμων αποδείξεων. Αθήνα (200)9.
Παραπομπή Chicago StyleΓαλάνης, Ανδρέας Γ, Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, and Ευστάθιος Ζάχος. Κωδικοποίηση πιθανοτικώς ελέγξιμων αποδείξεων. Αθήνα (200)9.
Παραπομπή MLAΓαλάνης, Ανδρέας Γ, Εθνικό Μετσόβιο Πολυτεχνείο. Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών. Τομέας Τεχνολογίας Πληροφορικής και Υπολογιστών, and Ευστάθιος Ζάχος. Κωδικοποίηση πιθανοτικώς ελέγξιμων αποδείξεων. Αθήνα (200)9.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.