| 出版情報 |
Berlin ; New York : Springer-Verlag , 1979 |
| 大きさ |
x, 243 p. : ill. ; 25 cm |
| 一般注記 |
Bibliography: p. [234]-238
Includes index |
| 著者標目 |
*Ferrante, Jeanne, 1949-
Rackoff, Charles W., 1948-
|
| 件 名 |
LCSH:Predicate calculus
LCSH:Computational complexity
|
| 分 類 |
LCC:QA3
LCC:QA9.35
DC:510/.8 s
DC:511/.3
|
| 本文言語 |
英語 |
| 書誌ID |
TB10051892 |
| ISBN |
3540095012 |
| NCID |
BA04004980
|
| 巻冊次 |
: Berlin ; ISBN:3540095012
: New York ; ISBN:0387095012
|
