文献

J-GLOBAL ID：200902118322843227   整理番号：02A0124412

部分単一化に基づく初等形式システムのための効率的導出

An Efficient Derivation for Elementary Formal Systems Based on Partial Unification.

著者 (3件)： Sugimoto N (Kyushu Inst. Technol., Iizuka, JPN) ,  Ishizaka H (Kyushu Inst. Technol., Iizuka, JPN) ,  Shinohara T (Kyushu Inst. Technol., Iizuka, JPN)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 2226  ページ： 350-364  発行年： 2001年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 機械学習や発見科学においては,形式言語を取り扱う効率的システ...

シソーラス用語： *機械学習 ,...
準シソーラス用語： 初等形式システム ,...

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

分類 (2件)： 人工知能  (JE08000Z) ,  数理言語学  (JB05000V)

タイトルに関連する用語 (3件)： 単一化 ,  形式 ,  導出