---

＜図書＞
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 ; Tokyo : Springer-Verlag
出版年	c1990
本文言語	英語
大きさ	162 p. : ill. ; 25 cm
著者標目	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  全ての件名で検索
一般注記	"C.I.M.E. Meeting on Logic and Computer Science" -- Pref Includes bibliographical references

 類似資料