OPAC

検索結果一覧に戻る

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

所蔵情報を非表示

配架場所	請求記号	巻　次	ISBN	資料番号	資料状態	利用注記	コメント	予約・取寄	申込書	仮想書架
書庫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 : us ; ISBN:0387582770
ISBN	3540582770
NCID	BA23281092

目次／あらすじ