キーワード : 等式理論


サブゴールの生成に基づくマイクロプログラム合成手続きの拡張
木下 貴史 直井 徹 恩田 雅隆 今井 正治 
誌名:   電子情報通信学会論文誌 D
発行日: 1994/04/25
Vol. J77-D1  No. 4 ; pp. 338-340
論文種別:  レター
専門分野: 
キーワード: 
抽象データ型等式理論E単一化E単一化子の完全集合逐次化問題
 あらまし | 本文:PDF(176.8KB)