Contents of Report
[Data of Report]
Report Number:
TM0342
Date of Registration:
1987.07
English Title:
***
Japanese Title:
情報処理学会 第35回全国大会論文集1;制約付き論理型プログラミング言語の構想と実例
English Author:
A.Aiba,K.Sakai
Japanese:
相場 亮,酒井 公
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0342.pdf
[Contents]
1
はじめに
.... 1
2
制約付き論理型言語CAL
.... 1
3
Grobner基底とBuchbergerアルゴリズム
.... 1
4
CALプログラムの評価
.... 1
5
CALインタープリタの構成
.... 2
6
拡張の構想
.... 2
参考文献
.... 2
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda