Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Paulson, Lawrence C', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    ML for the working programmer /
    ανά Paulson, Lawrence C.
    Έκδοση 1996
    Βιβλίο
  2. 2
    ML for the working programmer
    ανά Paulson, Lawrence C.
    Έκδοση 1991
    Βιβλίο
  3. 3
    Logic and computation Interactive Proof with Cambridge LCF
    ανά Paulson, Lawrence C.
    Έκδοση 1987
    Βιβλίο
  4. 4
    Isabelle/HOL A Proof Assistant for Higher-Order Logic /
    Άλλοι συγγραφείς: “…Paulson, Lawrence C.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings
    ανά Kaufmann, Matt
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Paulson, Lawrence C…”
    Λήψη πλήρους κειμένου
    Ηλεκτρονική πηγή Εργαλειοθήκη Βιβλίο
  6. 6
    Interactive Theorem Proving First International Conference, ITP 2010, Edinburgh, UK, July 11-14, 2010. Proceedings /
    Έκδοση 2010
    Άλλοι συγγραφείς: “…Paulson, Lawrence C.…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email