>> Google Books

The computational complexity of logical theories

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

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 

Du, Dingzhu, Ko, Ker-I

Wiley

Wolfram, Stephen, 1959-

Addison-Wesley Pub. Co.

Wang, Tse-kʿo, 1942-, Hsü, Sen-lin, Kao, Tʿang-an, 1964-

Science, Kluwer Academic

Judd, J. Stephen

MIT Press

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

MIT Press

Davis, Martin, 1928-, Weyuker, Elaine J

Academic Press

Hopcroft, John E., 1939-, Ullman, Jeffrey D., 1942-

Addison-Wesley

Balcázar, José Luis, Díaz, Josep, 1950-, Gabarró, Joaquim

Springer-Verlag

Chua, Leon O., 1936-

World Scientific

Cover, T. M., 1938-, Gopinath, B.

Springer-Verlag