Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

書誌事項

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers

Egon Börger, Yuri Gurevich, Karl Meinke (eds.)

(Lecture notes in computer science, 832)

Springer-Verlag, c1994

  • : gw
  • : us

大学図書館所蔵 件 / 58

この図書・雑誌をさがす

注記

"The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19

Includes bibliographical references

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

詳細情報

ページトップへ