Widok standardowy
Widok MARC
Kohlhase, Michael (1964- ). (Hasło osobowe)
Kp. Towards a MIZAR Mathematical Library in OMDoc Format / Grzegorz Bancerek and Michael Kohlhase // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 265-275
LCC online