このページのリンク

The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
(Lecture notes in mathematics ; 718)

データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1979
本文言語 英語
大きさ x, 243 p. : ill. ; 25 cm

所蔵情報を非表示

積層4層 : Berlin 410.8||L||718 9851927350
3540095012

書誌詳細を非表示

一般注記 Bibliography: p. [234]-238
Includes index
著者標目  *Ferrante, Jeanne, 1949-
 Rackoff, Charles W., 1948-
分 類 LCC:QA3
LCC:QA9.35
DC:510/.8 s
DC:511/.3
件 名 LCSH:Predicate calculus
LCSH:Computational complexity
書誌ID TY00017163
ISBN 3540095012
NCID BA04004980