Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'McAllester, David', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Ontic : a knowledge representation system for mathematics /
    ανά McAllester, David A.
    Έκδοση 1989
    Βιβλίο
  2. 2
    Automated Deduction - CADE-17 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings /
    Έκδοση 2000
    Άλλοι συγγραφείς: “…McAllester, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logic Programming and Automated Reasoning 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999, Proceedings /
    Έκδοση 1999
    Άλλοι συγγραφείς: “…McAllester, David…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email