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