Seite 1 von 1.
David Aspinall; Serge Autexier; Christoph Lüth; Marc Wagner
In: Proceedings of the 8th International Workshop on User Interfaces for Theorem Provers. Workshop on User Interfaces for Theorem Provers (UITP-2008), …
Serge Autexier; Christoph Benzmueller; Dominik Dietrich; Marc Wagner
In: Manfred Kerber (Hrsg.). Journal Mathematics in Computer Science, Vol. 2, No. 2, Pages 253-277, Birkhäuser, 12/2008.
Dominik Dietrich; Ewaryst Schulz; Marc Wagner
In: Intelligent Computer Mathematics - 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM …
Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Marc Wagner
In: Mathematics in Computer Science, Vol. Online First, Pages o.A-o.A. Birkhäuser, 2008.