>> Amazon.co.jp
このページのQRコード

Complexity, logic, and recursion theory

種類:
図書
責任表示:
edited by Andrea Sorbi
出版情報:
New York : Marcel Dekker, c1997
著者名:
Sorbi, Andrea, 1956- <DA10634538>  
シリーズ名:
Lecture notes in pure and applied mathematics ; v. 187 <BA00256405>
ISBN:
9780824700263 [0824700260]  CiNii Books  Calil
注記:
Includes bibliographical references
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Recursion theory

Shoenfield, Joseph R. (Joseph Robert), 1927-

Springer-Verlag
7 図書 Computability and complexity theory

Homer, S. (Steven), Selman, Alan L.

Springer
2 図書 Bounded arithmetic, propositional logic, and complexity theory

Krajíček, Jan

Cambridge University Press
8 図書 Finite automata, formal logic, and circuit complexity

Straubing, Howard, 1952-

Birkhäuser
3 図書 Techniques of admissible recursion theory

Chong, Chi-Tat, 1949-

Springer-Verlag
9 図書 Theory of computation : formal languages, automata, and complexity

Brookshear, J. Glenn

Benjamin/Cummings Pub. Co.
4 図書 Recursion theory for metamathematics

Smullyan, Raymond M., 1919-

Oxford University Press
10 図書 Pi and the AGM : a study in analytic number theory and computational complexity

Borwein, Jonathan M., Borwein, Peter B.

Wiley
5 図書 Computability, enumerability, unsolvability : directions in recursion theory

Cooper, S. B. (S. Barry), Slaman, T. A. (Theodore Allen), 1954-, Wainer, S. S, London Mathematical Society

Cambridge University Press
11 図書 Recursion on the countable functionals

Normann, Dag, 1947-

Springer-Verlag
6 図書 The computational complexity of logical theories

Ferrante, Jeanne, 1949-, Rackoff, Charles W., 1948-

Springer-Verlag
12 図書 Structure in complexity theory : proceedings of the conference held at the University of California, Berkeley, California, June 2-5, 1986

Structure in Complexity Theory Conference, Selman, Alan L.

Springer-Verlag