Contents of Report
[Data of Report]
Report Number:
TM0673
Date of Registration:
***
English Title:
***
Japanese Title:
汎用論証支援システム EUODHILOS;その機能と実現システムについて
English Author:
K.Sato,K.Ohashi,H.Sawamura,T.Minami
Japanese:
佐藤 かおる,大橋 恭子,沢村 一,南 俊朗
Name of Organization to which author belongs:
Fujitsu,Fujitsu,Fujitsu,Fujitsu
PDF:
tm0673.pdf
[Contents]
0
概要
.... 3
1
はじめに
.... 4
2
システム概要
.... 6
3
論理系定義支援
.... 7
4
証明支援
.... 13
5
他の論理系定義および証明例
.... 17
6
おわりに
.... 17
7
謝辞
.... 19
8
参考文献
.... 20
End
.... 26
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda