Κεραμύδας, Ε., & Χατζηλυγερούδης, Ι. (2010). Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P.
Chicago Style (17th ed.) CitationΚεραμύδας, Ελευθέριος, and Ιωάννης Χατζηλυγερούδης. Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P. 2010.
MLA (8th ed.) CitationΚεραμύδας, Ελευθέριος, and Ιωάννης Χατζηλυγερούδης. Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P. 2010.
Warning: These citations may not always be 100% accurate.
