Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση 'Rabe, Florian', χρόνος αναζήτησης: 0,02δλ Περιορισμός αποτελεσμάτων
  1. 1
    Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  2. 2
    Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants
    Έκδοση 2009
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Πρακτικό Συνεδρίου Ηλ. βιβλίο
  3. 3
    Intelligent Computer Mathematics 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings /
    Έκδοση 2018
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  4. 4
    Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. /
    Έκδοση 2015
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  5. 5
    Intelligent Computer Mathematics 10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
    Έκδοση 2017
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
  6. 6
    Intelligent Computer Mathematics 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings /
    Έκδοση 2011
    Άλλοι συγγραφείς: “…Rabe, Florian…”
    Full Text via HEAL-Link
    Ηλεκτρονική πηγή Ηλ. βιβλίο
Εργαλεία αναζήτησης: Λήψη RSS – Αποστολή αναζήτησης με email