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

Bounded arithmetic, propositional logic, and complexity theory

種類:
図書
責任表示:
Jan Krajíček
出版情報:
Cambridge, England ; New York : Cambridge University Press, 1995
著者名:
Krajíček, Jan <DA07477078>  
シリーズ名:
Encyclopedia of mathematics and its applications / edited by G.-C. Rota ; v. 60 <BA00064663>
ISBN:
9780521452052 [0521452058]  CiNii Books  Calil
注記:
Includes bibliographical references (p. 327-334) and indexes
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 図書 Complexity, logic, and recursion theory

Sorbi, Andrea, 1956-

Marcel Dekker
7 図書 Finite automata, formal logic, and circuit complexity

Straubing, Howard, 1952-

Birkhäuser
2 図書 The propositional logic of Boethius

Dürr, Karl, 1888-

North-Holland Pub
8 図書 Theory of computation : formal languages, automata, and complexity

Brookshear, J. Glenn

Benjamin/Cummings Pub. Co.
3 図書 Arithmetic complexity of computations

Winograd, S.

Society for Industrial and Applied Mathematics
9 図書 Pi and the AGM : a study in analytic number theory and computational complexity

Borwein, Jonathan M., Borwein, Peter B.

Wiley
4 図書 Bounded variable logics and counting : a study in finite models

Otto, Martin, 1961-

Springer
10 図書 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
5 図書 The computational complexity of logical theories

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

Springer-Verlag
11 図書 Predicative arithmetic

Nelson, Edward, 1932-

Princeton University Press
6 図書 Computability and complexity theory

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

Springer
12 図書 Propositional structure and illocutionary force : a study of the contribution of sentence meaning to speech acts

Katz, Jerrold J.

Crowell