Contents of Report
[Data of Report]
Report Number:
TM1225
Date of Registration:
1992.10
English Title:
***
Japanese Title:
制約論理プログラミングシステム
English Author:
A.Aiba
Japanese:
相場 亮
Name of Organization to which author belongs:
ICOT
PDF:
tm1225.pdf
[Contents]
概要
.... 1
1
はじめに
.... 1
2
制約機能と論理プログラミング
.... 1
3
制約論理プログラミング言語
.... 3
4
まとめ
.... 14
参考文献
.... 15
End
.... 17
目次をクリックすると、PDFファイルが表示されます。
ICOT研究速報（TM）一覧に戻る / Back to the list of ICOT Technical Memoranda