著者
書誌事項
Theory and applications of computability
Springer Science+Business Media
この図書・雑誌をさがす
関連文献： 8件中 1-8を表示
-
1
- Reverse mathematics : problems, reductions, and proofs
-
Damir D. Dzhafarov, Carl Mummert
Springer c2022 Theory and applications of computability
:pbk
所蔵館1館
-
2
- Reverse mathematics : problems, reductions, and proofs
-
Damir D. Dzhafarov, Carl Mummert
Springer c2022 Theory and applications of computability
: hardcover
所蔵館3館
-
3
- Handbook of computability and complexity in analysis
-
Vasco Brattka, Peter Hertling, editors
Springer c2021 Theory and applications of computability
所蔵館8館
-
4
- The incomputable : journeys beyond the turing barrier
-
S. Barry Cooper, Mariya I. Soskova
Springer International Publishing : Springer c2017 Theory and applications of computability
: softcover
所蔵館1館
-
5
- Turing computability : theory and applications
-
Robert I. Soare
Springer c2016 Theory and applications of computability
: pbk
所蔵館8館
-
6
- Higher-order computability
-
John Longley, Dag Normann
Springer c2015 Theory and applications of computability
所蔵館2館
-
7
- Apartness and uniformity : a constructive development
-
Douglas S. Bridges, Luminiţa Simona Vîţă
Springer c2011 Theory and applications of computability
所蔵館5館
-
8
- Algorithmic randomness and complexity
-
Rodney G. Downey, Denis R. Hirschfeldt
Springer Science+Business Media c2010 Theory and applications of computability
: pbk
所蔵館22館