このページのリンク

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 ; New York : Springer-Verlag
出版年 c1994
本文言語 英語
大きさ viii, 336 p. : ill. ; 24 cm

所蔵情報を非表示

書庫2階 QA:76.9:L63:W67:1993

001598106

書誌詳細を非表示

一般注記 "The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 19
Includes bibliographical references
著者標目 Börger, Egon, 1946-
Gurevich, Yuri
Meinke, K. (Karl)
*Workshop on Computer Science Logic (7th : 1993 : Swansea, United Kingdom)
件 名 LCSH:Computer logic -- Congresses  全ての件名で検索
LCSH:Computer science -- Congresses  全ての件名で検索
LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分 類 LCC:QA76.9.L63
LCC:QA75.5
DC20:004/.01/5113
巻冊次 : gw ; ISBN:3540582770 REFWLINK
: us ; ISBN:0387582770 REFWLINK
ISBN 3540582770
NCID BA23281092 WCLINK
目次/あらすじ

 類似資料