|
121 |
Structural analysis of non-classical logics
Taiwan Philosophical Logic Colloquium (2. : 2014 : Taipei). - Heidelberg : Springer, 2016
|
|
|
|
122 |
Wirkungsvolle Lehrerinterventionsformen bei komplexen Modellierungsaufgaben
Stender, Peter. - Wiesbaden : Springer Spektrum, [2016], [1. Aufl.]
|
|
|
|
123 |
Zusammenhänge zwischen Sprachkompetenz und Bearbeitung mathematischer Textaufgaben
Wilhelm, Nadine. - Wiesbaden : Springer Spektrum, [2016]
|
|
|
|
124 |
Algebraic approach to tense operators
Chajda, Ivan. - Lemgo : Heldermann Verlag, [2015]
|
|
|
|
125 |
Algorithmische Graphentheorie
Turau, Volker. - Berlin : De Gruyter, [2015], 4., erweiterte und überarbeitete Auflage
|
|
|
|
126 |
Approximation by trigonometric polynomials and bandlimited functions and generalized moduli of smoothness
Artamonov, Sergei, 06.11.2015
|
|
|
|
127 |
Automatic construction of implicative theories for mathematical domains
Revenko, Artem. - Aachen : Shaker Verlag, 2015, [1. Aufl.]
|
|
|
|
128 |
Beweisen verstehen im Mathematikunterricht
Gerwig, Mario. - Wiesbaden : Springer Spektrum, 2015
|
|
|
|
129 |
Beweisvorstellungen und eigenständiges Beweisen
Grundey, Svenja. - Wiesbaden : Springer Spektrum, 2015
|
|
|
|
130 |
Cellular automata and discrete complex systems
Heidelberg : Springer, 2015
|
|
Administration
