Normal view
MARC view
- Stephan, Werner
Stephan, Werner (Имя лица)
Machine generated authority record.
Work cat.: (RU-ToGU): Hutter, Dieter. 324182, Mechanizing Mathematical Reasoning, 2005