Εμφανίζονται 1 - 12 Αποτελέσματα από 12 για την αναζήτηση '"Αυτόματη απόδειξη θεωρημάτων"', χρόνος αναζήτησης: 0,05δλ Περιορισμός αποτελεσμάτων
  1. 1
    Gems of theoretical computer science /
    ανά Schöning, Uwe, 1955-
    Έκδοση 1998
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  2. 2
    A proof theory for general unification /
    ανά Snyder, Wayne, 1955-
    Έκδοση 1991
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  3. 3
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Έκδοση 1990
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  4. 4
    Ontic : a knowledge representation system for mathematics /
    ανά McAllester, David A.
    Έκδοση 1989
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  5. 5
    Logical frameworks /
    Έκδοση 1991
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  6. 6
    Logical environments /
    Έκδοση 1993
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Βιβλίο
  7. 7
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2004
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  8. 8
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  9. 9
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2010
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
  10. 10
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
  11. 11
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Technical Report
  12. 12
    Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email