Login
- Author(s):
- Unterweger, Kristof; Weinzierl, Tobias
- Title:
- Peano - New Features
- Publisher address:
- Katholieke Universiteit Leuven
- Year:
- 2012
- Journal title:
- Peano-Workshop
- Month:
- May
- Notes:
- mediatitle: Peano-Workshop
address: Katholieke Universiteit Leuven - TUM Institution:
- Institut für Informatik, Technische Universität München
BibTeX