Showing 1 - 2 results of 2 for search '"Automated theorem proving"', query time: 0.05s Refine Results
  1. 1
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Automated theorem proving…”
    Get full text
    Technical Report
  2. 2
    Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
    Subjects: “…Automated theorem proving…”
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search