福岡大学蔵書検索

検索結果一覧に戻る

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 ; Tokyo : Springer-Verlag
出版年	c1993
形態	viii, 439 p. : ill. ; 24 cm
著者標目	Börger, Egon, 1946- Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy)
件　名	LCSH:Computer logic -- Congresses 全ての件名で検索 LCSH:Computer science -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:004/.01/5113 LCC:QA75.5
書誌ID	LT00441140

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	"The Computer Science Logic Workshop CSL'92 was held in San Miniato (Pisa) from September 28 to October 2, 1992"--Pref. Includes bibliographical references
NCID	BA20754802
巻冊次	ISBN:3540569928

目次／あらすじ