Contents of Report
[Data of Report]
Report Number:
TM1286
Date of Registration:
1993.10
English Title:
***
Japanese Title:
モデル生成証明系、MGTPの機能拡張と高度問題解決への適用
English Author:
R.Hasegawa
Japanese:
長谷川 隆三
Name of Organization to which author belongs:
ICOT
PDF:
tm1286.pdf
[Contents]
1
はじめに
.... 2
2
モデル生成法
.... 2
3
ノンホーン・マジックセット
.... 2
4
失敗による否定
.... 3
5
仮説推論
.... 3
6
様相命題タブロー
.... 3
7
おわりに
.... 4
参考文献
.... 4
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda