Showing 1 - 12 results of 12 for search '"Αυτόματη απόδειξη θεωρημάτων"', query time: 0.04s Refine Results
  1. 1
    Gems of theoretical computer science /
    by Schöning, Uwe, 1955-
    Published 1998
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  2. 2
    A proof theory for general unification /
    by Snyder, Wayne, 1955-
    Published 1991
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  3. 3
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Published 1990
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  4. 4
    Ontic : a knowledge representation system for mathematics /
    by McAllester, David A.
    Published 1989
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  5. 5
    Logical frameworks /
    Published 1991
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  6. 6
    Logical environments /
    Published 1993
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Book
  7. 7
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Get full text
    Book
  8. 8
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων 86550…”
    Get full text
    Book
  9. 9
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων: περίπτωση ACT-P
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων…”
    Get full text
    Thesis
  10. 10
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων…”
    Get full text
    Thesis
  11. 11
    Elementary theorem-proving applications of the OTTER automated deduction system in structural mechanics
    by Ioakimidis, Nikolaos
    Published 2018
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων…”
    Get full text
    Technical Report
  12. 12
    Αυτόματη παραγωγή και αξιολόγηση ασκήσεων και χρήση παιχνιδοποίησης σε ευφυή συστήματα διδασκαλίας
    Subjects: “…Αυτόματη απόδειξη θεωρημάτων…”
    Get full text
    Thesis
Search Tools: RSS Feed – Email Search