|
JAIST Repository >
著者: "中村, 正樹"
3 著者名表示.
発行日 | タイトル |
著者 |
Mar-1999 | 消去法による項書換え系の停止性 | 中村, 正樹; なかむら, まさき |
Mar-2002 | 項書き換えシステムのための評価戦略の研究 | 中村, 正樹; なかむら, まさき |
15-Apr-2005 | 項書き換えシステムにおける可簡約演算子とその応用 | 中村, 正樹; 緒方, 和博; 二木, 厚吉; NAKAMURA, MASAKI; OGATA, KAZUHIRO; FUTATSUGI, KOKICHI |
|