Εμφανίζονται 1 - 1 Αποτελέσματα από 1 για την αναζήτηση '"Αυτοματοποιημένη συλλογιστική"', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Αυτοματοποιημένη συλλογιστική…”
    Λήψη πλήρους κειμένου
    Technical Report
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email