Login
- Autor(en):
- Unterweger, Kristof; Weinzierl, Tobias
- Titel:
- Peano - New Features
- Erscheinungsort:
- Katholieke Universiteit Leuven
- Jahr:
- 2012
- Zeitschriftentitel:
- Peano-Workshop
- Monat:
- May
- Hinweise:
- mediatitle: Peano-Workshop
address: Katholieke Universiteit Leuven - TUM Einrichtung:
- Institut für Informatik, Technische Universität München
BibTeX