Contents of Report
[Data of Report]
Report Number:
TM0226
Date of Registration:
1986.08
English Title:
Metis;A Term Rewriting System Generator-An Inference Engine for Equations and Inequqtions-
Japanese Title:
***
English Author:
A.Ohsuga,K.Sakai
Japanese:
***
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0226.pdf
[Contents]
Abstract
.... 2
1
Introduction
.... 2
2
Preliminaries
.... 3
3
Term rewriting system generator Metis
.... 5
4
Experiments
.... 10
References
.... 19
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda