---

Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994 : proceedings / Nachum Dershowitz, Naomi Lindenstrauss (eds.)
(Lecture notes in computer science ; 968)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1995
形態	viii, 373 p. : ill. ; 24 cm
著者標目	*International Conditional and Typed Rewriting Systems Workshop (4th : 1994 : Jerusalem, Israel) Dershowitz, Nachum, 1951- Lindenstrauss, Naomi
件　名	LCSH:Rewriting systems (Computer science) -- Congresses  全ての件名で検索
分　類	NDC:549.92 LCC:QA267 DC19:511.3
書誌ID	LT00487492

 類似資料