文献

J-GLOBAL ID：200902114709511774   整理番号：02A0725137

R-UNSEARCHMO UNSEARCHMOに対する洗練

R-UNSEARCHMO: A Refinement on UNSEARCHMO.

著者 (5件)： CHAO Y (Nagoya Inst. Technol., Nagoya, JPN) ,  KAWANA N (Nagoya Inst. Technol., Nagoya, JPN) ,  HE L (Aichi Prefectural Univ., Aichi, JPN) ,  NAKAMURA T (Nagoya Inst. Technol., Nagoya, JPN) ,  ITOH H (Nagoya Inst. Technol., Nagoya, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 2417  ページ： 29-38  発行年： 2002年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： SATCHMO(モデル生成による充足可能性検査)は,原理が簡...

シソーラス用語： *充足可能性問題 ,...
準シソーラス用語： モデル生成 ,...

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

分類 (2件)： 人工知能  (JE08000Z) ,  計算理論  (JB02000A)