|
61 |
Proof mining and combinatorics : Program extraction for Ramsey's theorem for pairs
Kreuzer, Alexander P.. - Darmstadt : Universitäts- und Landesbibliothek Darmstadt, 2012
|
|
|
|
62 |
Proving Theorems of Higher-Order Logic with SMT Solvers
Böhme, Sascha. - München : Universitätsbibliothek der TU München, 2012
|
|
|
|
63 |
Quantengraphen mit zufälligem Potential
Schubert, Carsten. - Chemnitz : Universitätsbibliothek Chemnitz, 2012
|
|
|
|
64 |
Symmetric Models, Singular Cardinal Patterns, and Indiscernibles
Dimitriou, Ioanna Matilde. - Bonn : Universitäts- und Landesbibliothek Bonn, 2012
|
|
|
|
65 |
Symmetries and bifurcations in timed continuous Petri nets
Meyer, Anna-Lena. - Paderborn : Universitätsbibliothek, 2012
|
|
|
|
66 |
Topological set theories and hyperuniverses
Fackler, Andreas. - München : Universitätsbibliothek der Ludwig-Maximilians-Universität, 2012
|
|
|
|
67 |
Treelike and Chordal Graphs: Algorithms and Generalizations
Kammer, Frank. - Augsburg : Universität Augsburg, 2012
|
|
|
|
68 |
Verbandstheoretische Analoga gruppentheoretischer Sätze von Baer, Ito und Redei
Andreeva, Siyka. - Kiel : Universitätsbibliothek Kiel, 2012
|
|
|
|
69 |
Algebraic structure of endomorphism monoids of finite graphs
Apirat Wanichsombat, 2011
|
|
|
|
70 |
Alternative Finestructural and Computational Approaches to Constructibility
Carl, Merlin. - Bonn : Universitäts- und Landesbibliothek Bonn, 2011
|
|
Administration
