OPAC

Conditional term rewriting systems : Third International Workshop, CTRS-92, Pont-à-Mousson, France, July 8-10, 1992 : proceedings / M. Rusinowitch, J.L. Rémy (eds.)
(Lecture notes in computer science ; 656)

データ種別	図書
出版者	Berlin : New York ; Tokyo : Springer-Verlag
出版年	c1993
本文言語	英語
大きさ	xi, 501 p. : ill. ; 24 cm
著者標目	*International Workshop on Conditional (and Typed) Rewriting Systems Rusinowitch, M. (Michael) Remy, J. L.

巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
656	射水-2階-洋書	007.6\|\|L49\|\|656	101143048						予約		予約

一般注記	Includes bibliographical references
件　名	LCSH:Rewriting systems (Computer science) -- Congresses 全ての件名で検索
分　類	LCC:QA267 DC20:005.13/1 NDC8:007.63
書誌ID	B000062590
ISBN	3540563938
NCID	BA19433368