文献

J-GLOBAL ID：200902046382026510   整理番号：91A0430865

書き換えにおけるオープン問題

Open problems in rewriting.

著者 (3件)： DERSHOWITZ N (Univ. Illinois, IL, USA) ,  JOUANNAUD J-P (Univ. Paris Sud, Orsay, FRA) ,  KLOP J W (Free Univ. Boelelaan, Amsterdam, NLD)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 488  ページ： 445-456  発行年： 1991年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 書き換え理論及び応用における興味は急速に広がっている。この分...

シソーラス用語： 定理証明 ,...

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

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

タイトルに関連する用語 (1件)： 書き換え