Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献一覧: 山田 俊行 (著者)
  3. 1件

1 0 0 0 OA Logicality of conditional term rewrite systems

著者
山田 俊行
巻号頁・発行日
1999
Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no. 2125, 1999.3.25