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