文献

J-GLOBAL ID：200902193993871103   整理番号：98A0246087

A-SATCHMORE アベイラビリティ検査機能を持つSATCHMORE

A-SATCHMORE: SATCHMORE with Availability Checking.

著者 (5件)： HE L (Nagoya Inst. Technol., Nagoya, JPN) ,  CHAO Y (Nagoya Univ., Nagoya, JPN) ,  SHIMAJIRI Y (Nagoya Inst. Technol., Nagoya, JPN) ,  SEKI H (Nagoya Inst. Technol., Nagoya, JPN) ,  ITOH H (Nagoya Inst. Technol., Nagoya, JPN)
資料名： New Generation Computing  (New Generation Computing)
巻： 16  号： 1  ページ： 55-74  発行年： 1998年 
JST資料番号： Y0555A  ISSN： 0288-3635  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 定理証明器SATCHMOREでは,後続計算では使えないアトム...

シソーラス用語： *定理証明 ,...
準シソーラス用語： 健全性【論理】

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

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

タイトルに関連する用語 (2件)： アベイラビリティ ,  検査