文献

J-GLOBAL ID：200902192718525134   整理番号：97A0950118

データ構造の拡張とルールの追加による制約充足アルゴリズムの段階的改善

Stepwise Improvement of Constraint Satisfaction Algorithms by Extension of Data Structures and Addition of Rules.

著者 (3件)： 赤間清 (北大) ,  吹田慶子 (北大) ,  宮本衛市 (北大)
資料名： 日本ソフトウエア科学会大会論文集
巻： 14th  ページ： 529-532  発行年： 1997年09月 
JST資料番号： X0080A  ISSN： 0913-5391  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 論理プログラミング(LP)では事実上解くことができない多くの...

シソーラス用語： データ構造 ,...
準シソーラス用語： 正当性

   続きはJDreamIII（有料）にて  {{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=97A0950118&from=J-GLOBAL&jstjournalNo=X0080A") }}

分類 (2件)： システムプログラミング一般  (JD03010Y) ,  計算理論  (JB02000A)

タイトルに関連する用語 (6件)： データ構造 ,  拡張 ,  ルール ,  制約充足 ,  アルゴリズム ,  段階