Contents of Report
[Data of Report]
Report Number:
TM0970
Date of Registration:
1990.01
English Title:
***
Japanese Title:
制約プログラミングについて-制約ロジック・プログラミングを中心として-
English Author:
A.Aiba,K.Furukawa
Japanese:
相場 亮,古川 康一
Name of Organization to which author belongs:
ICOT,ICOT
PDF:
tm0970.pdf
[Contents]
1
はじめに
.... 2
2
制約とロジック・プログラミング
.... 3
3
制約とロジック・プログラミングの例
.... 6
4
CLP(X)の理論
.... 16
5
これからの展開について
.... 17
謝辞
.... 18
参考文献
.... 19
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda