Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

＜図書＞
Higher-order algebra, logic, and term rewriting : second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : selected papers

責任表示	Gilles Dowek ... [et al.], (eds.)
シリーズ	Lecture notes in computer science ; 1074
データ種別	図書
出版情報	Berlin ; Tokyo : Springer , c1996
本文言語	英語
大きさ	287 p. : ill. ; 24 cm
電子版へのリンク	https://hdl.handle.net/2324/6798042

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	SER/LNCS/1074	1996		023211996004560		予約・取寄			予約・取寄
		理系図自動書庫	408/L 49	1996		061232004014991		予約・取寄		出庫可能	予約・取寄		出庫可能

一般注記	Includes bibliographical references
著者標目	*International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) Dowek, Gilles
件　名	LCSH:Rewriting systems (Computer science) -- Congresses 全ての件名で検索 LCSH:Algebra -- Congresses 全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses 全ての件名で検索
分　類	NDC9:007.64 LCC:QA267 DC20:005.1/01/5113
書誌ID	1000909246
ISBN	3540612548
NCID	BA27570739
巻冊次	ISBN:3540612548
登録日	2009.09.16
更新日	2009.11.02