|
 |
|
|
|
1 - 10 von 56
  |
|
 |
Ihre Aktion |
suchen [und] sys \mat 322.300
|
|
|
|
|
 |
1. |
Descriptive complexity, canonisation, and definable graph structure theory
/ Grohe, Martin *1967-*. - Cambridge : Cambridge University Press, 2017
|
|
|
|
2. |
Higher-order computability
/ Longley, John. - Heidelberg : Springer, [2015]
|
|
|
 |
3. |
Logic, computation, hierarchies
/ Brattka, Vasco. - Online-Ausg.. - Boston : De Gruyter, 2014
|
|
|
|
4. |
Descriptive set theory
/ Moschovakis, Yiannis Nicholas. - 2. ed. - Providence, RI [u.a.] : American Mathematical Society [u.a.], 2009
|
|
|
|
5. |
Computability of Julia sets
/ Braverman, Mark. - Berlin : Springer, 2009
|
|
|
|
6. |
Foundations of logic and theory of computation
/ Sernadas, Amílcar. - London : King's College, 2008
|
|
|
|
7. |
Logic and complexity
/ Lassaigne, Richard. - London : Springer, 2004
|
|
|
|
8. |
Computability theory
/ Cooper, Stuart B. *1943-2015*. - Boca Raton, Fla. [u.a.] : Chapman & Hall/CRC Press, 2004
|
|
|
|
9. |
Berechenbarkeit, Entscheidbarkeit, Aufzählbarkeit : über Nachfolgerbereichen
/ Deutsch, Michael *1944-*. - Bremen : Univ.-Dr., 2003
|
|
|
|
10. |
Rekursive Funktionen
/ Lüneburg, Heinz. - Berlin : Springer, 2002
|
|
|
|
|
|
|
1 - 10 von 56
|
|
|
|
|
1 - 10 von 56
|
|
|
