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

この図書・雑誌をさがす
注記

"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を表示
詳細情報
ページトップへ