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

書誌事項

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)

Springer-Verlag, c1990

  • : gw
  • : us

大学図書館所蔵 件 / 97

この図書・雑誌をさがす

注記

"C.I.M.E. Meeting on Logic and Computer Science" -- Pref

Includes bibliographical references

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ