---

Higher-order algebra, logic, and term rewriting : first international workshop, HOA '93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers / Jan Heering ... [et al.] (eds.)
(Lecture notes in computer science ; 816)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1994
形態	344 p. : ill. ; 24 cm
著者標目	*InternationalWorkshop on Higher-Order Algebra, Logic, and Term Rewriting (1st : 1993 : Amsterdam, Netherlands) Heering, J.
件　名	LCSH:Rewriting systems (Computer science) -- Congresses  全ての件名で検索 LCSH:Algebra -- Congresses  全ての件名で検索 LCSH:Logic, Symbolic and mathematical -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA267 DC20:005.1/01/5113
書誌ID	LT00467215

 類似資料