✦ LIBER ✦
Ωmega: Ein mathematisches Assistenzsystem
✍ Scribed by Jörg Siekmann; Michael Kohlhase; Erica Melis
- Publisher
- Springer
- Year
- 1998
- Weight
- 112 KB
- Volume
- 7
- Category
- Article
- ISSN
- 0938-7986
No coin nor oath required. For personal study only.