Contents of Report
[Data of Report]
Report Number:
TM0806
Date of Registration:
1989.09
English Title:
A Complete E-unification by Metis
Japanese Title:
Metisによる拡張単一化の完全性
English Author:
A.Ohsuga,K.Sakai
Japanese:
大須賀 昭彦,坂井 公
Name of Organization to which author belongs:
TOSHIBA,ICOT
PDF:
tm0806.pdf
[Contents]
概要
.... 2
1
はじめに
.... 3
2
準備
.... 3
3
E単一化と等式証明
.... 6
4
無向E単一化手続きAu
.... 7
5
推論規則Iuの完全性
.... 8
6
実験
.... 10
7
おわりに
.... 10
謝辞
.... 11
参考文献
.... 11
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda