Contents of Report
[Data of Report]
Report Number:
TR0170
Date of Registration:
1986.04
English Title:
Programming in Modal Logic
Japanese Title:
***
English Author:
Y.Sakakibara
Japanese:
榊原 康文
Name of Organization to which author belongs:
Fujitsu
PDF:
tr0170.pdf
[Contents]
1
導入
.... 2
2
様相論理
.... 2
3.1
言語
.... 3
3.2
意味
.... 4
4
応用
.... 6
4.1
知識の階層、属性の継承
.... 6
4.2
知識の共有
.... 7
4.3
オブジェクト指向プログラミング
.... 7
5
他の研究との比較
.... 8
6
まとめ
.... 8
参考文献
.... 9
目次をクリックすると、PDFファイルが表示されます。
ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports