OPAC

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)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
応用数学(越)		410.8/L 1/1429	50000170483	170483		3540527346			仮想書架		仮想書架

出版情報	Berlin ; Tokyo : Springer-Verlag , c1990
大きさ	162 p. : ill. ; 25 cm
一般注記	"C.I.M.E. Meeting on Logic and Computer Science" -- Pref Includes bibliographical references
著者標目	Homer, S. (Steven) Odifreddi, Piergiorgio, 1950- Centro internazionale matematico estivo. Session C.I.M.E. Meeting on Logic and Computer Science (1988 : Montecatini Terme, Italy)
件　名	LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索 LCSH:Programming (Mathematics) -- Congresses 全ての件名で検索 LCSH:Computational complexity -- Congresses 全ての件名で検索
分　類	LCC:QA3 LCC:QA9.A1 DC20:510 s DC20:511.3 NDC8:410.8
本文言語	英語
書誌ID	TB00087699
ISBN	3540527346
NCID	BA10559946
巻冊次	: gw ; ISBN:3540527346 ; PRICE:DM30.00 : us ; ISBN:0387527346

目次／あらすじ