Contents of Report

[Data of Report]

Report Number:
TR0695
Date of Registration:
1991.09
English Title:
Boolearn-valued Logic Programming Languege Scheme LIFE-III
Japanese Title:
***
English Author:
J.Yamaguchi
Japanese:
***
Name of Organization to which author belongs:
Kanagawa Univ.
PDF:
tr0695.pdf

[Contents]

Abstract.... 2
Keywords.... 2
0Introduction.... 2
1B-valued Deduction of LIFE-III.... 4
2B-valued F-model.... 6
3B-valued F-completeness.... 9
4Conclusion.... 10
Reference.... 11

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

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