Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings | 978-3-319-22101-4 (3-319-22101-9) | 2015 | Xingyuan Zhang |
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings | 978-3-642-03358-2 (3-642-03358-X) | 2009 | Stefan Berghofer · Tobias Nipkow · Makarius Wenzel |
Vielfalt als Methode: Methodische und praktische Hilfen für lebendige Bewegungsstunden, Psychomotorik und Therapie | 978-3-938187-33-3 (3-938187-33-6) | 2011 | Helmut Köckenberger |
Cerstin Urban · Christian Moritz Urban · Christiane Urban · Christina Urban · Christine URBAN · Christoph Urban