Contents of Report

[Data of Report]

Report Number:

TM0615

Date of Registration:

1988.10

English Title:

EUODHILOS;A General Approach to Computer Aided Deductive Reasoning

Japanese Title:

***

English Author:

T.Seki,H.Kitakami

Japanese:

***

Name of Organization to which author belongs:

Fujitsu,Fujitsu

PDF:

tm0615.pdf

[Contents]

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