Contents of Report
[Data of Report]
Report Number:
TM1294
Date of Registration:
1994.04
English Title:
***
Japanese Title:
定理証明系MGTP;bit特集号
English Author:
R.Hasegawa,M.Koshimura
Japanese:
長谷川 隆三,越村 三幸
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm1294.pdf
[Contents]
1
まえがき
.... 2
2
モデル生成法
.... 3
3
MGTPの基本構造
.... 5
4
MGTPの並列化
.... 6
5
OR並列化方式
.... 7
6
AND並列化方式
.... 8
7
実行結果
.... 13
8
むすび
.... 15
参考文献
.... 15
End
.... 16
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda