|
241 |
Automatic construction of implicative theories for mathematical domains
Revenko, Artem. - Aachen : Shaker Verlag, 2015, [1. Aufl.]
|
|
|
|
242 |
Beweisen verstehen im Mathematikunterricht
Gerwig, Mario. - Wiesbaden : Springer Spektrum, 2015
|
|
|
243 |
Beweisen verstehen im Mathematikunterricht
Gerwig, Mario. - Wiesbaden : Springer Fachmedien Wiesbaden, 2015, Aufl. 2015
|
|
|
|
244 |
Beweisvorstellungen und eigenständiges Beweisen
Grundey, Svenja. - Wiesbaden : Springer Spektrum, 2015
|
|
|
|
245 |
Beweisvorstellungen und eigenständiges Beweisen
Grundey, Svenja. - Wiesbaden : Springer Fachmedien Wiesbaden, 2015, Aufl. 2015
|
|
|
|
246 |
Cellular automata and discrete complex systems
Heidelberg : Springer, 2015
|
|
|
|
247 |
Cellular Automata and Discrete Complex Systems
Berlin, Heidelberg : Springer Berlin Heidelberg, 2015, Aufl. 2015
|
|
|
|
248 |
Coding into inner models at the level of strong cardinals
Koulakis, Marios, 2015
|
|
|
|
249 |
Combinatorics on Words
Cham : Springer International Publishing, 2015, 1st ed. 2015
|
|
|
|
250 |
David Lewis und seine mereologische Interpretation der Zermelo-Fraenkelschen Mengenlehre
Werner, Philipp. - Berlin : De Gruyter, 2015
|
|
Administration
