Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
著者
書誌事項
Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
（Lecture notes in computer science, 702）
Springer-Verlag, c1993
- : gw
- : us
大学図書館所蔵 全50件
注記
"The Computer Science Logic Workshop CSL'92 was held in San Miniato (Pisa) from September 28 to October 2, 1992."--Pref
Includes bibliographical references