---

Rewriting techniques and applications : 9th International Conference, RTA-98, Tsukuba, Japan, March 30-April 1, 1998 : proceedings / Tobias Nipkow (ed.)
(Lecture notes in computer science ; 1379)

データ種別	図書
出版者	Berlin ; Tokyo : Springer-Verlag
出版年	c1998
形態	x, 342 p. : ill. ; 24 cm
著者標目	Nipkow, Tobias, 1958- International Conference on Rewriting Techniques and Applications (9th : 1998 : Tsukuba-shi, Japan)
件　名	LCSH:Rewriting systems (Computer science) -- Congresses  全ての件名で検索 LCSH:Electronic digital computers -- Programming -- Congresses  全ての件名で検索 LCSH:Algorithms -- Congresses  全ての件名で検索
分　類	NDC:549.92
書誌ID	LT00543547

 類似資料