Εμφανίζονται 1 - 4 Αποτελέσματα από 4 για την αναζήτηση 'Felty, Amy', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the 2014 International Workshop on Logical Frameworks and Meta-languages: Theory and Practice
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Felty, Amy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /
    Έκδοση 2012
    Άλλοι συγγραφείς: “…Felty, Amy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Theorem Proving in Higher Order Logics 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings /
    Έκδοση 1997
    Άλλοι συγγραφείς: “…Felty, Amy…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings /
    Έκδοση 2015
    Άλλοι συγγραφείς: “…Felty, Amy P.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email