文献

J-GLOBAL ID：200902126334289970   整理番号：93A0269290

高階論理のための支持集合戦略

Set-Of-Support Strategy for Higher-Order Logic.

著者 (2件)： FANG W (Northwestern Univ., IL) ,  KAO J-H (Northwestern Univ., IL)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 656  ページ： 498-501  発行年： 1993年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 数学的表現力の高い高階論理における定理証明のために高階言語に...

シソーラス用語： 定理証明 ,...
準シソーラス用語： 量限定子

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

分類 (1件)： 計算理論  (JB02000A)

タイトルに関連する用語 (4件)： 高階論理 ,  支持 ,  集合 ,  戦略