Wolfgang Windsteiger

Bücher
Algorithmische Methoden Algorithmische Methoden
Algorithmische Methoden
2011
Hagenberg Research Hagenberg Research
Hagenberg Research
2009
Towards Mechanized Mathematical Assistants Towards Mechanized Mathematical Assistants
Towards Mechanized Mathematical Assistants
2007