Contents of Report
[Data of Report]
Report Number:
TR0416
Date of Registration:
1988.07
English Title:
Syntax Description of Logical Formulas and Parser Generation in the Reasoning Assistant System EUODHILOS
Japanese Title:
論証支援システムEUODHILOSにおける論理式の構文記述法とパーサ生成
English Author:
T.Minami,H.Sawamura
Japanese:
南 俊朗,沢村 一
Name of Organization to which author belongs:
Fujitsu,Fujitsu
PDF:
tr0416.pdf
[Contents]
要約
.... 2
Abstract
.... 2
1
論証支援システムEUODHILOSとは何か
.... 3
1.1
論証支援システムとは
.... 3
1.2
EUODHILOSの概要
.... 5
2
論理式の構文記述
.... 7
3
パーサ生成
.... 9
4
まとめ
.... 12
謝辞
.... 13
参考文献
.... 13
End
.... 14
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports