Contents of Report

[Data of Report]

Report Number:
TR0758
Date of Registration:
1992.04
English Title:
Inference Rules for a Complete Set of E-unfiries
Japanese Title:
E単一化の完全集合を求める推論規則
English Author:
A.Ohsuga,K.Sakai
Japanese:
大須賀 昭彦,坂井 公
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tr0758.pdf

[Contents]

概論.... 2
1はじめに.... 2
2準備.... 3
3E単一化と証明.... 5
4E単一化のための推論規則.... 7
5推論規則の完全性.... 10
6推論規則の効率化.... 12
7E単一化例.... 13
8E単一化アルゴリズムの実現.... 15
9おわりに.... 17
謝辞.... 17
参考文献.... 17
End.... 23

目次をクリックすると、PDFファイルが表示されます。

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports