Logic and computer science : lectures given at the 1st session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988 / S. Homer ... [et al.] ; editor, P. Odifreddi
(Lecture notes in mathematics ; 1429 . Fondazione C.I.M.E., Firenze)
| データ種別 | 図書 |
|---|---|
| 出版者 | Berlin : Springer-Verlag |
| 出版者 | Tokyo |
| 出版年 | c1990 |
| 本文言語 | 英語 |
| 大きさ | 162 p. : ill. ; 25 cm |
所蔵情報を非表示
| 配架場所 | 巻 次 | 請求記号 | 資料番号 | 状 態 | コメント | ISBN | 請求メモ | 予約 | 仮想書架 | 指定図書 |
|---|---|---|---|---|---|---|---|---|---|---|
| 泉:図書館閉架地下2階書庫 |
|
QA/9Lh | a3091078580b |
|
3540527346 |
|
書誌詳細を非表示
| 一般注記 | "C.I.M.E. Meeting on Logic and Computer Science" -- Pref Includes bibliographical references |
|---|---|
| 著者標目 | Homer, S. (Steven) C.I.M.E. Meeting on Logic and Computer Science (1988 : Montecatini Terme, Italy) Odifreddi, Piergiorgio, 1950- Centro internazionale matematico estivo. Session |
| 件 名 | Logic, Symbolic and mathematical -- Congresses
全ての件名で検索
Programming (Mathematics) -- Congresses 全ての件名で検索 Computational complexity -- Congresses 全ての件名で検索 |
| 分 類 | DDC:510 s NDC8:410.8 LCC:QA3 DDC:511.3 LCC:QA9.A1 |
| 書誌ID | 1000938127 |
| ISBN | 3540527346 |
| NCID | BA10559946 |
類似資料
