Contents of Report
[Data of Report]
Report Number:
TR0761
Date of Registration:
1992.04
English Title:
MGTP; A Parallel Theorem Prover Based on Lazy Model Generation
Japanese Title:
***
English Author:
R.Hasegawa,M.Koshimura,H.Fujita
Japanese:
***
Name of Organization to which author belongs:
ICOT,Toshiba,Mitsubishi
PDF:
tr0761.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Model Generation Method
.... 3
3
Lazy Model Generation
.... 3
4
AND Parallel Implementation
.... 5
5
Conclusion
.... 6
References
.... 6
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports