三重大学附属図書館 OPAC

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

絞り込み検索

タイトル：

フルタイトル：

著者名：

出版者：

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

出版年：

主題：

請求記号：

所在：

言語：

選択:

検索結果: 2 件

図書

1. On the Church-Rosser property of depth-preserving term rewriting systems

[by] Hiroshi Gomi

出版情報:	[津] : 三重大学, 1998.3
シリーズ名:	博士論文. 三重大学大学院工学研究科博士後期課程システム工学専攻 ; 平成9年度
子書誌情報:	loading…
所蔵情報:	loading…

図書

2. 代数的仕様記述に関する研究 : データタイプの抽象的実現からプログラムへの変換及びその最適化について

五味弘 [著]

出版情報:	[津] : 三重大学, [1985]
シリーズ名:	修士論文. 三重大学大学院工学研究科修士課程電子工学専攻 ; 昭和59年度
子書誌情報:	loading…
所蔵情報:	loading…