The computational complexity of logical theories

フォーマット:
図書
責任表示:
Jeanne Ferrante, Charles W. Rackoff
言語:
英語
出版情報:
Berlin ; New York : Springer-Verlag, 1979
形態:
x, 243 p. : ill. ; 25 cm
著者名:
シリーズ名:
Lecture notes in mathematics ; 718 <BA00146586>
書誌ID:
BA04004980
ISBN:
9783540095019 [3540095012] (: Berlin)  CiNii Books  Google Books
9780387095011 [0387095012] (: New York)  CiNii Books  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Logical foundations of proof complexity

Cook, Stephen, 1948-, Nguyen, Phuong

Association for Symbolic Logic : Cambridge University Press
7 図書 Computational complexity

Papadimitriou, Christos H

Addison-Wesley
2 図書 Computational complexity theory

Hartmanis, Juris, American Mathematical Society, American Mathematical Society Short Course "Computational Complexity &hellip;

American Mathematical Society
8 図書 Randomness and completeness in computational complexity

Melkebeek, Dieter van

Springer-Verlag
3 図書 Theory of computational complexity

Du, Dingzhu, Ko, Ker-I

Wiley
9 図書 The computational complexity of machine learning

Kearns, Michael J.

MIT Press
4 図書 Computational complexity theory

Rudich, Steven, Wigderson, Avi

American Mathematical Society
10 図書 Arithmetic complexity of computations

Winograd, S.

Society for Industrial and Applied Mathematics
5 図書 Theory of computation : formal languages, automata, and complexity

Brookshear, J. Glenn

Benjamin/Cummings Pub. Co.
11 図書 Computational complexity and natural language

Barton, G. Edward, Berwick, Robert C., Ristad, Eric Sven

MIT Press
6 図書 Pi and the AGM : a study in analytic number theory and computational complexity

Borwein, Jonathan M., Borwein, Peter B.

Wiley
12 図書 Complexity and real computation

Blum, Lenore, Karp, Richard M.

Springer