Widok standardowy Widok MARC

Wenzel, Markus. (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Wenzel, Markus.
Forma odrzucona:
  • Wenzel, Makarius.
  • Wenzel, Markus "Makarius".

Matematyka, informatyka.

Kp. Isabelle/Isar - a Generic Framework for Human-Readable Proof Documents / Makarius Wenzel // From insight to proof : Festschrift in honour of Andrzej Trybulec / guest editors: Roman Matuszewski, Anna Zalewska. - Białystok, 2007. - S. 277-297

Website of Dr. Markus "Makarius" Wenzel, 01.08.2017 http://sketis.net/