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. (Lecure notes in mathematics ; 1429)

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.

(Lecure notes in mathematics ; 1429)

国立国会図書館請求記号: M15-A6909
国立国会図書館書誌ID: 000003189634

資料種別: 図書

著者: Homer, S. (Steven)ほか

出版者: Springer-Verlag

出版年: c1990.

資料形態: 紙

ページ数・大きさ等: 162 p. : ill. ; 25 cm.

NDC: -

すべて見る

書店で探す

全国の図書館の所蔵

国立国会図書館以外の全国の図書館の所蔵状況を表示します。

連携機関・データベースの一覧

所蔵のある図書館から取寄せることが可能かなど、資料の利用方法は、ご自身が利用されるお近くの図書館へご相談ください

関東

横浜市立図書館
紙
請求記号：
410.917
図書登録番号：
0005071879
横浜市立図書館のサイトでこの本を確認

書店で探す

書誌情報

この資料の詳細や典拠（同じ主題の資料を指すキーワード、著者名）等を確認できます。

紙

資料種別: 図書
ISBN: 3540527346
0387527346
タイトル: 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.
シリーズタイトル: Lecure notes in mathematics ; 1429
タイトル標目: Lecture notes in mathematics (Springer-Verlag) ; 1429
著者標目: Homer, S. (Steven)
Odifreddi, Piergiorgio, 1950- ( 01182766 )典拠
Centro internazionale matematico estivo.
出版事項: Berlin : Springer-Verlag
Tokyo : Springer-Verlag
出版年月日等: c1990.
出版年（W3CDTF）: 1990
数量: 162 p. : ill. ; 25 cm.
出版地（国名コード）: DE
本文の言語コード: eng
件名標目: Logic, Symbolic and mathematical -- Congresses.
Programming (Mathematics) -- Congresses.
Computational complexity -- Congresses.
LCC: QA3
QA9.A1
DDC: 510 s
511.3
NDLC: M15
MA
M159
書誌注記: Includes bibliographical references.
所蔵機関: 国立国会図書館
請求記号: M15-A6909
連携機関・データベース: 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
書誌ID（NDLBibID）: 000003189634
http://id.ndl.go.jp/bib/000003189634
LC control number: 90039676
https://lccn.loc.gov/90039676
整理区分コード: 211