Non abbiamo ancora una biografia di Wolfgang Windsteiger.
Pubblicato in Inglese · Tedesco
Per saperne di più: Open Library (si apre in una nuova scheda)
Towards Mechanized Mathematical Assistants
2007
Algorithmische Methoden
2011
Otium