Contents of Report


[Data of Report]

Report Number:
TM0586
Date of Registration:
1988.08
English Title:
***
Japanese Title:
89-1 ソフトウェア科学会日本数学会秋季総合分科会 Sup-inf法に基づいた制約論理型プログラミング言語
English Author:
Y.Oki,J.Sawamoto,K.Sakane,Y.Fujii
Japanese:
大木 優,澤本 潤,坂根 清和,藤井 裕一
Name of Organization to which author belongs:
ICOT,Mitsubishi,ICOT,ICOT
PDF:
tm0586.pdf

[Contents]

1はじめに.... 3
2Sup-inf法.... 3
3Sup-inf法に基づいた制約論理型プログラミング言語.... 4
4むすび.... 6
謝辞.... 6
参考文献.... 6


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

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