>> Google Books
QRコード(所蔵情報)

Bounded arithmetic, propositional logic, and complexity theory

フォーマット:
図書
責任表示:
Jan Krajíček
言語:
英語
出版情報:
Cambridge, England ; New York : Cambridge University Press, 1995
形態:
xiv, 343 p. ; 24 cm
著者名:
Krajíček, Jan <DA07477078>  
シリーズ名:
Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60 <BA00064663>
書誌ID:
BA26572058
ISBN:
9780521452052 [0521452058]  CiNii Books  Webcat Plus  Google Books
子書誌情報
Loading
所蔵情報
Loading availability information
タイトル・著者・出版者が同じ資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Proof complexity

Krajíček, Jan

Cambridge University Press
7 図書 Computational complexity theory

Rudich, Steven, Wigderson, Avi

American Mathematical Society
2 図書 Forcing with random variables and proof complexity

Krajíček, Jan

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

Borwein, Jonathan M., Borwein, Peter B.

Wiley
3 図書 Complexity, logic, and recursion theory

Sorbi, Andrea, 1956-

Marcel Dekker
9 図書 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
4 図書 The propositional logic of Boethius

Dürr, Karl, 1888-

North-Holland Pub
10 図書 Propositions and attitudes

Salmon, Nathan U., 1951-, Soames, Scott

Oxford University Press
5 図書 Logic and complexity

Lassaigne, Richard, 1944-, Rougemont, Michel de, 1953-

Springer
11 図書 Fact proposition event

Peterson, Philip L.

Kluwer Academic Publishers
6 図書 Propositional attitudes : the role of content in logic, language, and mind

Anderson, C. Anthony, Owens, Joseph, 1943-

Center for the Study of Language and Information, Stanford University
12 図書 Foundations of constructive probability theory

Chan, Yuen-Kwok

Cambridge University Press