Contents of Report

[Data of Report]

Report Number:

TR0739

Date of Registration:

1992.02

English Title:

A Concept Top-Down Proof Procedure for a General Logic program with Integrity Constraints

Japanese Title:

***

English Author:

K.Satoh,N.Iwayama

Japanese:

佐藤　健,岩山　登

Name of Organization to which author belongs:

ICOT,ICOT

PDF:

tr0739.pdf

[Contents]

ICOT研究論文（TR）一覧に戻る / Back to the list of ICOT Technical Reports