|
201 |
Automating recursive definitions and termination proofs in higher-order logic Krauss, Alexander, 2009
|
|
|
202 |
Cardinals as ultrapowers Bold, Stefan, 2009
|
|
|
203 |
Das Problem der Kurvenanpassung Paulßen, Jens, 2009
|
|
|
204 |
Das Wurstproblem für Fläche-an-Fläche-Packungen von Platonischen Körpern Dornieden, Detlef, 2009
|
|
|
205 |
Dynamics of Boolean networks Greil, Florian, 2009
|
|
|
206 |
Edge colourings of multigraphs Scheide, Diego, 2009
|
|
|
207 |
Embedding large graphs Böttcher, Julia, 2009
|
|
|
208 |
Exakte kleinste Quadrate-Interpolierende Nowak, Oliver, 2009
|
|
|
209 |
Fully realistic multi-criteria timetable information systems Schnee, Mathias, 2009
|
|
|
210 |
Fuzzy filtering Kumar, Mohit, 2009
|
|