Contents of Report


[Data of Report]

Report Number:
TM0158
Date of Registration:
1986.03
English Title:
Toward Mechanization of Deductive,Inductive and Abductive Inference
Japanese Title:
***
English Author:
S.Kunifuji,H.Seki,T.Takewaki,K.Furukawa,K.Turumaki
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT,ICOT,ICOT,NTT
PDF:
tm0158.pdf

[Contents]

1Abstract.... 2
2References.... 3
End.... 6


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

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