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