Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

書誌事項

Computer science logic : 4th workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 : proceedings

E. Börger ... [et al.], eds

(Lecture notes in computer science, 533)

Springer-Verlag, c1991

  • : gw
  • : us

大学図書館所蔵 件 / 52

この図書・雑誌をさがす

注記

Includes bibliographical references

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

詳細情報

ページトップへ