|
1631 |
Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005
|
|
|
1632 |
Discrepancy of arithmetic structures Hebbinghaus, Nils, 2005, [Online-Ausg.]
|
|
|
1633 |
Effiziente Algorithmen zur Bestimmung der Unabhängigkeitszahl in Graphen Mahfud, Suhail, 2005
|
|
|
1634 |
Embedded in the shadow of the separator Göring, Frank. - Chemnitz : Techn. Univ., Fakultät für Mathematik, 2005
|
|
|
1635 |
Explanation of independence Adler, Hans, 2005
|
|
|
1636 |
Flexible heuristic control for combining automation and user-interaction in inductive theorem proving Schmidt-Samoa, Tobias, 2005
|
|
|
1637 |
Formal Concept Analysis Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
|
|
|
1638 |
From constructive mathematics to computable analysis via the realizability interpretation Lietz, Peter, [2005]
|
|
|
1639 |
Higher gap morasses Cárdenas, Franqui, 2005
|
|
|
1640 |
Higher gap morasses Cárdenas, Franqui, 2005
|
|