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