Contents of Report
[Data of Report]
Report Number:
TM0810
Date of Registration:
1989.10
English Title:
EUODHILOS;Interactive Reasoning System for a Variety of Logics
Japanese Title:
***
English Author:
T.Minami,H.Sawamura
Japanese:
***
Name of Organization to which author belongs:
FUJITSU,FUJITSU
PDF:
tm0810.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Overview of EUODHILOS
.... 2
3
Example
.... 4
4
Related Works
.... 5
5
Concluding Remarks
.... 6
Acknowledgements
.... 7
References
.... 7
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda