文献

J-GLOBAL ID：201702233484250226   整理番号：17A0953885

ユニバーサル不変量の特性駆動型推論またはそれらが存在しないことの証明

Property-Directed Inference of Universal Invariants or Proving Their Absence

著者 (5件)： KARBYSHEV Aleksandr (Aarhus Univ.) ,  BJORNER Nikolaj (Microsoft Res.) ,  ITZHAKY Shachar (Massachusetts Inst. of Technol.) ,  RINETZKY Noam (Tel Aviv Univ.) ,  SHOHAM Sharon (Tel Aviv Univ.)
資料名： Journal of the ACM (Association for Computing Machinery)  (Journal of the ACM (Association for Computing Machinery))
巻： 64  号： 1  ページ： 7:1-7:33  発行年： 2017年 
JST資料番号： C0267A  ISSN： 0004-5411  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

シソーラス用語： *定理証明 ,  *可到達性 ,  グラフ理論 ,  計算理論 ,  *アルゴリズム ,  一階論理 ,  *人工知能推論 ,  データ構造 ,  逐次近似 ,  十分条件 ,  停止問題 ,  命題論理 ,  評価試験
準シソーラス用語： 反復法

分類 (3件)： 計算理論  (JB02000A) ,  グラフ理論基礎  (IA02020S) ,  人工知能  (JE08000Z)

タイトルに関連する用語 (3件)： 不変量 ,  型推論 ,  証明