福岡大学蔵書検索

COLOG-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988 : proceedings / P. Martin-Löf, G. Mints (eds.)
(Lecture notes in computer science ; 417)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1990
形態	vi, 338 p. ; 25 cm
著者標目	International Conference on Computer Logic (1st : 1988 : Tallinn, USSR) Martin-Löf, Per, 1942- Mint︠s︡, Grigori
件　名	LCSH:Computer science -- Mathematics -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC:549.92 DDC:004/.01/5113 LCC:QA76.9.M35
書誌ID	LT00314533

所蔵情報を非表示

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

書誌詳細を非表示

本文言語	英語
一般注記	Includes bibliographical references
NCID	BA09976108
巻冊次	ISBN:3540523359

目次／あらすじ