|
91 |
Conceptual Factors and Fuzzy Data Glodeanu, Cynthia-Vera. - Dresden : Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2013
|
|
|
92 |
Connection calculi for automated theorem proving in classical and non-classical logics Otten, Jens, 2013
|
|
|
93 |
Connectivity in graphs and digraphs Holtkamp, Andreas. - Aachen : Shaker, 2013
|
|
|
94 |
Connectivity in graphs and digraphs Holtkamp, Andreas. - Aachen : Hochschulbibliothek der Rheinisch-Westfälischen Technischen Hochschule Aachen, 2013
|
|
|
95 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken Weiß, Felix, 2013
|
|
|
96 |
Die Komplexität der Formelauswertung in intuitionistischen Logiken Weiß, Felix. - Jena : Thüringer Universitäts- und Landesbibliothek Jena, 2013
|
|
|
97 |
Experimentieren – ein Weg zum funktionalen Denken Ganter, Sandra. - Hamburg : Kovač, 2013
|
|
|
98 |
Extensibility of association schemes and GRH-based deterministic polynomial factoring Arora, Manuel, 2013
|
|
|
99 |
Extensibility of Association Schemes and GRH-Based Deterministic Polynomial Factoring Arora, Manuel. - Bonn : Universitäts- und Landesbibliothek Bonn, 2013
|
|
|
100 |
Geometric complexity theory, tensor rank, and Littlewood-Richardson coefficients Ikenmeyer, Christian, 2013
|
|