Εμφανίζονται 1 - 18 Αποτελέσματα από 18 για την αναζήτηση '"Απόδειξη"', χρόνος αναζήτησης: 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
    Αιώνιες αναζητήσεις και ανάλογες θεωρήσεις : του όντως Όντος /
    ανά Δρούλιας, Ιωάννης Δ.
    Έκδοση 1981
    Θέματα: “…Θεός Απόδειξη 44505…”
    Βιβλίο
  8. 8
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2004
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  9. 9
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Λήψη πλήρους κειμένου
    Βιβλίο
  10. 10
    Μαθηματική απόδειξη και επίλυση προβλήματος στο λύκειο
    ανά Λύρη, Αναστασία
    Έκδοση 2014
    Θέματα: “…Μαθηματική απόδειξη…”
    Λήψη πλήρους κειμένου
    Thesis
  11. 11
    Η περί Θεού αυταπάτη
    ανά Dawkins, Richard 1941-
    Έκδοση 2007
    Θέματα: “…Θεός Απόδειξη 44505…”
    Βιβλίο
  12. 12
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2010
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
  13. 13
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
  14. 14
    Lettres a Sophie "Lettres sur la religion, sur l'ame humaine et sur l'existence du Dieu"
    Έκδοση 2004
    Θέματα: “…Θεός Απόδειξη 44505…”
    Βιβλίο
  15. 15
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    ανά Ioakimidis, Nikolaos
    Έκδοση 2018
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Technical Report
  16. 16
    Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
    Θέματα: “…Αυτόματη απόδειξη θεωρημάτων…”
    Λήψη πλήρους κειμένου
    Thesis
  17. 17
    Το θεώρημα Tarski-Seidenberg : συνέπειες και μία διδακτική έρευνα στη θεωρία πολυωνύμων με πραγματικούς συντελεστές
    Θέματα: “…Απόδειξη…”
    Λήψη πλήρους κειμένου
    Thesis
  18. 18
    Applications of quantifier elimination to the proofs of algebraic inequalities in engineering problems related to Todinov's method for risk reduction
    ανά Ioakimidis, Nikolaos
    Έκδοση 2022
    Θέματα: “…Απόδειξη με επαγωγή…”
    Λήψη πλήρους κειμένου
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email