Wolfgang Windsteiger - Böcker
Towards Mechanized Mathematical Assistants
Av Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad, Engelska, 2007
719 kr
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger
Inbunden, Engelska, 2009
2 179 kr
Hagenberg Research
Av Bruno Buchberger, Michael Affenzeller, Alois Ferscha, Michael Haller, Tudor Jebelean, Erich Peter Klement, Peter Paule, Gustav Pomberger, Wolfgang Schreiner, Robert Stubenrauch, Roland Wagner, Gerhard Weiß, Wolfgang Windsteiger
Häftad, Engelska, 2010
2 179 kr
Intelligent Computer Mathematics
Av Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger
Häftad, Engelska, 2013
739 kr
Häftad, Tyska, 2008
269 kr
Häftad, Tyska, 2012
269 kr