福岡大学蔵書検索

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 ; Tokyo : Springer-Verlag
出版年	c1994
形態	viii, 336 p. : ill. ; 24 cm
著者標目	Börger, Egon, 1946- Gurevich, Yuri Meinke, Karl *Workshop on Computer Science Logic (7th : 1993 : Swansea, United Kingdom)
件　名	LCSH:Computer science -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:549.92 LCC:QA75.5 DC20:004/.01/5113
書誌ID	LT00467124

所蔵情報を非表示

状　態	巻　次	所　在	請求記号	資料番号	ISBN	刷　年	コメント	利用注記	予約・取寄	お薦めの本	自動書庫	付録注記
		中央自動書庫	549.92/L49-1/832	0109880740105	9783540582779				予約・取寄				予約・取寄

書誌詳細を非表示

本文言語	英語
一般注記	"The 1993 Annual Conference of the European Association for Computer Science Logic CSL '93 was held in Swansea from September 13 to September 17, 1993"--Pref. Includes bibliographical references
NCID	BA23281092
巻冊次	ISBN:3540582770

目次／あらすじ