図書館

Computation theory and logic

Egon Börger (ed.) ; : gw, : us. -- Springer-Verlag, 1987. -- (Lecture notes in computer science ; 270). <BB10036309>
あべし(0) きゅんきゅん(0) ぽろぽろ(0) わくわく(0) ざわざわ(0)


登録タグ:
登録されているタグはありません
書誌URL:

所蔵一覧 1件~1件(全1件)

No. 巻号 所蔵館 配置場所 請求記号 資料ID 状態 返却予定日 予約 WEB書棚
0001 宇都宮 1F 集密書架 洋書 Z/LE/270 20001055 0件

No. 0001
巻号
所蔵館 宇都宮
配置場所 1F 集密書架 洋書
請求記号 Z/LE/270
資料ID 20001055
状態
返却予定日
予約 0件
WEB書棚

書誌詳細

標題および責任表示 Computation theory and logic / Egon Börger (ed.)
出版・頒布事項 Berlin ; Tokyo : Springer-Verlag , c1987
形態事項 ix, 442 p. ; 25 cm
巻号情報
巻次等 : gw
ISBN 3540181709
巻号情報
巻次等 : us
ISBN 0387181709
書誌構造リンク Lecture notes in computer science <BB00327372> 270//a
注記 "In memory of Dieter Rödding, 24.8.1937-4.6.1984, on the occasion of the 50th anniversary of his birth"--P. [iii]
注記 Includes bibliographical references
学情ID BA00789713
本文言語コード 英語
著者標目リンク Börger, Egon, 1946- <AU10026279>
分類標目 LCC:QA267
分類標目 DC19:511
分類標目 情報科学 NDC8:007.1
分類標目 計算法 NDC8:418
件名標目等 Machine theory
件名標目等 Computational complexity
件名標目等 Rödding, D. (Dieter), 1937-
件名標目等 機械論||キカイロン