Computer science logic : 6th workshop, CSL '92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
E. Börger ... [et al.] (eds.)
(Lecture notes in computer science, 702)
Springer-Verlag, c1993
大阪公立大学 杉本図書館 図書館
: gw548//L49//577311700557736
: gwS/410.12695295
近畿大学 中央図書館 中図 : gw549.92-L49-70210334698
: gw007||L49||70200017262
: gwW1/004/LecC931254024
: gw001.6||L 49||702093005417
: gw007.63||L471||70209600911
: gw007.64||6||224400595048
: gwE0547372
: gw007.08-L49-702937018120,10093702380
: gw007.08:L-49:702931003770
東海大学 付属図書館 12 : gw549.92/L/70201809456
: gw007.6/B65c1199850774
名古屋大学 工学 図書室 工電気情報 : gw007.08||L41091809
名古屋大学 情報・言語合同図書室 情報・言語 : gw007.08||L||702||閉架50082653
名古屋大学 理学 図書室 理数理 : gwP||ITA||92-C41092431
: gw007||702||3311076476
: gw007.6:C-85/HL4010004000402169
: gw007.6:C-85/HL6061006000403556
明治大学 図書館 生 418.6||11-702||||K29304459
: gw39300077041 "The Computer Science Logic Workshop CSL'92 was held in San Miniato (Pisa) from September 28 to October 2, 1992."--Pref Includes bibliographical references 内容説明 目次 「Nielsen BookData」 より
Springer-Verlag
volumes 1-100 index
所蔵館8館注記
内容説明・目次
関連文献: 1件中 1-1を表示