Contents of Report
[Data of Report]
Report Number:
TM0969
Date of Registration:
1991.01
English Title:
***
Japanese Title:
非単調推論
English Author:
K.Sato
Japanese:
佐藤 健
Name of Organization to which author belongs:
ICOT
PDF:
tm0969.pdf
[Contents]
1
はじめに
.... 2
2
無矛盾性に基づく非単調推論
.... 3
3
極小モデルに基づく非単調推論
.... 9
4
おわりに
.... 16
5
謝辞
.... 17
6
参考文献
.... 17
End
.... 18
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda