Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση '"Αυτόματη απόδειξη θεωρημάτων"', χρόνος αναζήτησης: 0,03δλ Περιορισμός αποτελεσμάτων
  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…”
    Λήψη πλήρους κειμένου
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email