Contents of Report


[Data of Report]

Report Number:
TM0478
Date of Registration:
1988.03
English Title:
***
Japanese Title:
時制論理とペトリネット
English Author:
S.Honiden,N.Uchihira,K.Matsumoto
Japanese:
本位田 真一,内平 直志,松本 一教
Name of Organization to which author belongs:
Toshiba,Toshiba,Toshiba
PDF:
tm0478.pdf

[Contents]

1はじめに.... 2
2時制論理.... 2
3時制論理による知識表現.... 3
4時制論理の推論手続き.... 4
5時制論理とペトリネット.... 5
6むすび.... 7
参考文献.... 8


目次をクリックすると、PDFファイルが表示されます。

ICOT研究速報(TM)一覧に戻る / Back to the list of ICOT Technical Memoranda