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