Προτεινόμενα θέματα σχετικά με την αναζήτησή σας.
Εμφανίζονται 1 - 20 Αποτελέσματα από 40 για την αναζήτηση '', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Theorem proving in higher order logics : proceedings /
    Πρακτικό Συνεδρίου
    Έκδοση 1996
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  2. 2
    Automated deduction, CADE ... :
    Πρακτικό Συνεδρίου Επιστημονικό περιοδικό
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  3. 3
    Automated theorem proving /
    Βιβλίο
    ανά Bibel, W., 1938-
    Έκδοση 1982
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  4. 4
    Types for proofs and programs : international workshop TYPES '93, Nijmegen, The Netherlands, May 24-28, 1993 : selected papers /
    Βιβλίο
    Έκδοση 1994
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  5. 5
    A computational logic /
    Βιβλίο
    ανά Boyer, Robert S.
    Έκδοση 1979
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  6. 6
    A computational logic handbook /
    Βιβλίο
    ανά Boyer, Robert S.
    Έκδοση 1988
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  7. 7
    Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1992
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  8. 8
    Efficient checking of polynomials and proofs and the hardness of approximation problems /
    Thesis Βιβλίο
    ανά Sudan, Madhu
    Έκδοση 1995
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  9. 9
    Using sophisticated models in resolution theorem proving /
    Βιβλίο
    ανά Sandford, David M.
    Έκδοση 1980
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  10. 10
    Term indexing /
    Βιβλίο
    ανά Graf, Peter, 1966-
    Έκδοση 1995
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  11. 11
    Practical reasoning : International Conference on Formal and Applied Practical Reasoning, FAPR '96, Bonn, Germany, June 3-7, 1996 : proceedings /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1996
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  12. 12
    Design and implementation of symbolic computation systems : International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996 : proceedings /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1996
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  13. 13
    KI-96 : advances in artificial intelligence : 20th Annual German Conference on Artificial Intelligence, Dresden, Germany, September 17-19, 1996 : proceedings /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1996
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  14. 14
    Knowledge based theorem proving and learning /
    Βιβλίο
    ανά Cohen, Donald N.
    Έκδοση 1981
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  15. 15
    Automated deduction in equational logic and cubic curves /
    Βιβλίο
    ανά McCune, W. (William)
    Έκδοση 1996
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  16. 16
    Current trends in hardware verification and automated theorem proving /
    Βιβλίο
    Έκδοση 1989
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  17. 17
    Computational logic : symposium proceedings, Brussels, November 13/14, 1990 /
    Βιβλίο
    Έκδοση 1990
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  18. 18
    Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada /
    Βιβλίο
    Έκδοση 1993
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  19. 19
    Logic programming and automated reasoning : 5th International Conference, LPAR '94, Kiev, Ukraine, July 16-22, 1994 : proceedings /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1994
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
  20. 20
    Proceedings : 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 /
    Πρακτικό Συνεδρίου Βιβλίο
    Έκδοση 1990
    Προσθήκη στα αγαπημένα
    Αποθηκεύτηκε σε:
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email – Αποθήκευση αναζήτησης