Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

書誌事項

Logical foundations of computer science--Tver '92 : second international symposium, Tver, Russia, July 20-24, 1992 : proceedings

A. Nerode, M. Taitslin (eds.)

(Lecture notes in computer science, 620)

Springer-Verlag, c1992

  • : gw
  • : us

大学図書館所蔵 件 / 50

この図書・雑誌をさがす

注記

Includes bibliographical references

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

詳細情報

ページトップへ