Wolfgang Windsteiger

Wolfgang Windsteiger is the author of "Hagenberg Research", "Algorithmische Methoden", "Intelligent Computer Mathematics" and "Towards Mechanized Mathematical Assistants".

Books by Wolfgang Windsteiger

Towards Mechanize...
Kauers Manuel
Electronic book text: $119.00

Intelligent Compu...
Carette Jacques
Electronic book text: $83.00

Hagenberg Research
Buchberger Bruno
Paperback:

Algorithmische Me...
Kügler, Philipp
Electronic book text: $19.99