文献

J-GLOBAL ID：200902105113798651   整理番号：02A0311246

伴意システムにおける局所モジュール性と内挿

On local modularity and interpolation in entailment systems.

著者 (3件)： VELOSO P A S (Pontificia Univ. Catolica do Rio de Janeiro, RJ, BRA) ,  FIADEIRO J L (Univ. Lisboa, Lisboa, PRT) ,  VELOSO S R M (Univ. Federal do Rio de Janeiro, RJ, BRA)
資料名： Information Processing Letters  (Information Processing Letters)
巻： 82  号： 4  ページ： 203-211  発行年： 2002年05月31日 
JST資料番号： E0513A  ISSN： 0020-0190  資料種別： 逐次刊行物 (A)
記事区分： 短報  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 伴意システムにおけるモジュール性の変形(忠実性の保存)と図表...

シソーラス用語： *ソフトウェア開発 ,...

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

分類 (2件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R)

タイトルに関連する用語 (2件)： 意 ,  内挿