愛知大学図書館

Computability and decidability : an introduction for students of computer science

J. Loeckx ; : gw, : us. -- Springer-Verlag, 1972. -- (Lecture notes in economics and mathematical systems ; 68). <BB00069952>
登録タグ:
登録されているタグはありません
書誌URL:

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

No. 巻号 所蔵館 配架場所 請求記号 資料ID 注記 状態 返却予定日 予約
0001 : gw 豊橋図書館 豊図第1書庫4階洋 N114:36:68 8712601199
0件
No. 0001
巻号 : gw
所蔵館 豊橋図書館
配架場所 豊図第1書庫4階洋
請求記号 N114:36:68
資料ID 8712601199
注記
状態
返却予定日
予約 0件

書誌詳細

標題および責任表示 Computability and decidability : an introduction for students of computer science / J. Loeckx
出版・頒布事項 Berlin ; New York : Springer-Verlag , 1972
形態事項 vi, 76 p. : ill. ; 26 cm
巻号情報
巻次等 : gw
ISBN 3540058699
巻号情報
巻次等 : us
ISBN 0387058699
書誌構造リンク Lecture notes in economics and mathematical systems <BB00001653> 68//a
注記 Includes bibliographical references
学情ID BA12545374
本文言語コード 英語
著者標目リンク ~Loeckx, Jacques, 1931- <>
分類標目 LCC:QA267.5.S4
分類標目 DC:629.8/91
件名標目等 Sequential machine theory
件名標目等 Turing machines