Contents of Report

[Data of Report]

Report Number:
TM0877
Date of Registration:
1990.08
English Title:
Saturation and Abduction for an Extended ATMS
Japanese Title:
***
English Author:
K.Inoue
Japanese:
***
Name of Organization to which author belongs:
ICOT
PDF:
tm0877.pdf

[Contents]

Abstract.... 2
1Keywords.... 2
1Introduction.... 3
2Background.... 4
3The Clauses Management System.... 8
4An Extended ATMS.... 9
5Related Works.... 12
6Conclusion.... 13
7References.... 14
End.... 15

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

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