著者名 書名 版表示 出版者名 出版年 シリーズ名 番号 ISBN ISSN URL Börger, Egon and Workshop on Computer Science Logic Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers Springer-Verlag 1993 Lecture notes in computer science 702 3540569928,0387569928 https://ci.nii.ac.jp/ncid/BA20754802