Showing 1 - 3 results of 3 for search '"Predicate logic"', query time: 0.03s Refine Results
  1. 1
    Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση
    Subjects: “…First order predicate logic…”
    Get full text
    Thesis
  2. 2
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Predicate logic…”
    Get full text
    Technical Report
  3. 3
    Elementary engineering mechanics applications of the OTTER automated reasoning system
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Predicate logic…”
    Get full text
    Technical Report
Search Tools: RSS Feed – Email Search