Contents of Report
[Data of Report]
Report Number:
TM0049
Date of Registration:
1984.03
English Title:
***
Japanese Title:
PrologによるBoyer-Moore型定理証明系の実現
English Author:
H.Fujita,K.Horiuchi
Japanese:
藤田 博,堀内 謙二
Name of Organization to which author belongs:
Mitsubishi,Mitsubishi
PDF:
tm0049.pdf
[Contents]
概要
.... 2
1
まえがき
.... 3
2
システムの概要
.... 3
3
システムの評価詳細
.... 6
4
システムの評価
.... 13
5
むすび
.... 14
謝辞
.... 14
参考文献
.... 15
付録
.... 15
End
.... 16
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda