Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

＜図書＞
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings

責任表示	M. Boscarol, L. Carlucci Aiello, G. Levi (eds.)
シリーズ	Lecture notes in computer science ; 306
データ種別	図書
出版情報	Berlin ; Tokyo : Springer-Verlag , c1988
本文言語	英語
大きさ	iv, 218 p. ; 25 cm
電子版へのリンク	https://hdl.handle.net/2324/7018080

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		中央図 2B	549.9/L 49/(306)	1988		068582189000121		予約・取寄			予約・取寄
	: gw	理系図自動書庫	408/L 49	1988		061232004007336		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographical references
著者標目	*Foundations of Logic and Functional Programming Workshop (1986 : Trento, Italy) Boscarol, Mauro, 1947- Carlucci Aiello, Luigia, 1946- Levi, Giorgio, 1942-
件　名	LCSH:Functional programming (Computer science) -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	LCC:QA76.6 DC19:005.1
書誌ID	1000985393
ISBN	3540191291
NCID	BA0382030X
巻冊次	: gw ; ISBN:3540191291 : us ; ISBN:0387191291
登録日	2009.09.16
更新日	2017.02.18