Contents of Report

[Data of Report]

Report Number:

TM0154

Date of Registration:

1986.01

English Title:

A Proof Constractor for Intensional Logic･･･with S5 decision Procedure･･･

Japanese Title:

***

English Author:

H.Sawamura

Japanese:

***

Name of Organization to which author belongs:

Fujitsu

PDF:

tm0154.pdf

[Contents]

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