Εμφανίζονται 1 - 3 Αποτελέσματα από 3 για την αναζήτηση 'Kohlenbach, Ulrich', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
    ανά Kohlenbach, Ulrich
    Έκδοση 2008
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  2. 2
    Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
    Έκδοση 2013
    Άλλοι συγγραφείς: “…Kohlenbach, Ulrich…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  3. 3
    Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
    Έκδοση 2014
    Άλλοι συγγραφείς: “…Kohlenbach, Ulrich…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email