Widok standardowy Widok MARC

Schwarzweller, Christoph. (Hasło osobowe)

Liczba rekordów, w których użyto hasła: 1
Forma preferowana: Schwarzweller, Christoph.

MIZAR verification of generic algebraic algorithms / vorgelegt von Christoph Schwarzweller. - Tübingen, 1997.

DNB online