戻る

この文献を取り寄せる

図書館へ購入を依頼する

この情報を出力する

このページのリンク

他の検索サイト

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

データ種別 図書
出版者 Berlin : Springer-Verlag
出版年 1979
形態 x, 243 p. : ill. ; 24 cm
著者標目 *Ferrante, Jeanne, 1949-
Rackoff, Charles W., 1948-
件　名 LCSH:Predicate calculus
LCSH:Computational complexity
分　類 NDC:410.8
NDC:410.12
DDC:510/.8 s
DDC:511/.3
LCC:QA3
LCC:QA9.35
書誌ID LT00169925

所蔵情報を非表示


中央自動書庫 410.8/D84/1-718 0104741320102 9780387095011




書誌詳細を非表示

本文言語 英語
一般注記 Bibliography: p. [234]-238
Includes index
NCID BA04004980
巻冊次 ISBN:0387095012
目次／あらすじ

 類似資料

戻る