このページのリンク

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)

データ種別 図書
出版者 Berlin : Springer-Verlag
出版者 New York
出版年 c1993.
大きさ viii, 439 p. : ill. ; 24 cm.
目次/あらすじ

所蔵情報を非表示

V.702 ASRS 007.6/L507/v.702 04396399
3540569928

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Workshop on Computer Science Logic.(1992)
Börger, E.(1946-)
件 名 Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000183079
ISBN 3540569928
URL1 Publisher HP

 類似資料