Normal view
MARC view
- Kerber, Manfred
Kerber, Manfred (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Kauers, Manuel. 326515, Towards Mechanized Mathematical Assistants, 2007.