三重大学附属図書館 OPAC

同じキーワードで他のサイトを検索できます。

絞り込み検索

タイトル：

フルタイトル：

著者名：

出版者：

ISBN / ISSN / 書誌ID / 図書ID：

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. Rewriting techniques and applications : Dijon, France, May 20-22, 1985 (: gw ; : us)

edited by Jean-Pierre Jouannaud

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1985
シリーズ名:	Lecture notes in computer science ; 202
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. Rewriting techniques and applications : Bordeaux, France, May 25-27, 1987, proceedings (: gw ; : us)

edited by Pierre Lescanne

出版情報:	Berlin ; Tokyo : Springer-Verlag, c1987
シリーズ名:	Lecture notes in computer science ; 256
子書誌情報:	loading…
所蔵情報:	loading…