Contents of Report


[Data of Report]

Report Number:
TM0972
Date of Registration:
1991.01
English Title:
***
Japanese Title:
モデル推論
English Author:
H.Ishizaka,S.Arikawa
Japanese:
石坂 裕樹,有川 節夫
Name of Organization to which author belongs:
KYUSHU UNIV,KYUSHU UNIV
PDF:
tm0972.pdf

[Contents]

1はじめに.... 2
2モデル推論アルゴリズム.... 2
3矛盾点追跡と精密化.... 4
4最近の研究動向.... 5
5おわりに.... 9
参考文献.... 9


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

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