Ioakimidis, N., & Ιωακειμίδης, Ν. (2018). Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics.
Παραπομπή σε μορφή Chicago (17η εκδ.)Ioakimidis, Nikolaos, και Νικόλαος Ιωακειμίδης. Elementary Theorem-proving Applications of the OTTER Automated Deduction System in Structural Mechanics. 2018.
Παραπομπή σε μορφή MLA (8th εκδ.)Ioakimidis, Nikolaos, και Νικόλαος Ιωακειμίδης. Elementary Theorem-proving Applications of the OTTER Automated Deduction System in Structural Mechanics. 2018.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.
