Εμφανίζονται 1 - 8 Αποτελέσματα από 8 για την αναζήτηση '', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Έκδοση 1990
    Βιβλίο
  2. 2
    Gems of theoretical computer science /
    ανά Schöning, Uwe, 1955-
    Έκδοση 1998
    Βιβλίο
  3. 3
    Logical environments /
    Έκδοση 1993
    Βιβλίο
  4. 4
    Logical frameworks /
    Έκδοση 1991
    Βιβλίο
  5. 5
    Ontic : a knowledge representation system for mathematics /
    ανά McAllester, David A.
    Έκδοση 1989
    Βιβλίο
  6. 6
    A proof theory for general unification /
    ανά Snyder, Wayne, 1955-
    Έκδοση 1991
    Βιβλίο
  7. 7
    Απόδοση συστημάτων αυτόματης απόδειξης θεωρημάτων περίπτωση ACT-P
    ανά Κεραμύδας, Ελευθέριος
    Έκδοση 2004
    Λήψη πλήρους κειμένου
    Βιβλίο
  8. 8
    Βελτίωση και αξιοποίηση αποδείκτη θεωρημάτων
    Λήψη πλήρους κειμένου
    Βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email