Wolfgang Windsteiger

Identifiers

Open LibraryOL7853525A

Top Subjects

Knowledge management (1)
Mathematical analysis (1)
Logic, symbolic and mathematical (1)
Algebra, data processing (1)

Books by Wolfgang Windsteiger

Total count: 3

Towards Mechanized Mathematical Assistants14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings

Springer London, Limited2007-01-01
Algorithmische MethodenZahlen, Vektoren, Polynome

Birkhauser Verlag2011-01-01
Intelligent Computer MathematicsMKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings

Springer2013-07-22