このページのリンク

Computer science logic : 7th workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 selected papers / Egon Börger, Yuri Gurevich, Karl Meinke, eds.
(Lecture notes in computer science. ; 832)

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

所蔵情報を非表示

V.832 ASRS 007.6/L507/v.832 04550658
3540582770

書誌詳細を非表示

一般注記 Includes bibliographical references.
著者標目 Workshop on Computer Science Logic.(1993)
Börger, E.(1946-)
Gurevich, Yuri.
Meinke, K.
件 名 Computer science--Congresses.
Logic, Symbolic and mathematical--Congresses.
分 類 NDC:007.6
書誌ID 1000190617
ISBN 3540582770
NCID BA23281092 WCLINK
URL1 Publisher HP

 類似資料