文献
J-GLOBAL ID:201002028789815024 整理番号:77A0190044
定理自動証明における単一化の役割
On the role of unification in mechanical theorem proving.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=77A0190044©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=77A0190044&from=J-GLOBAL&jstjournalNo=E0786A") }}
著者 (1件):
SHOSTAK R E
SHOSTAK R E について
名寄せID(JGPN) 201550000268954506 ですべてを検索
「SHOSTAK R E」ですべてを検索
資料名:
Acta Inf (Acta Informatica)
Acta Inf について
JST資料番号 E0786A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻:
7
号:
3
ページ:
319-323
発行年:
1977年
JST資料番号:
E0786A
ISSN:
0001-5903
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
ドイツ (DEU)
言語:
英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Skolem-Herbrand-Goedelの定理に対する一...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
数値計算
数値計算 について
「数値計算」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=77A0190044&from=J-GLOBAL&jstjournalNo=E0786A") }}
タイトルに関連する用語 (3件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
定理自動証明
定理自動証明 について
「定理自動証明」ですべてを検索
この用語の用語情報を見る
,
単一化
単一化 について
「単一化」ですべてを検索
この用語の用語情報を見る
,
役割
役割 について
「役割」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM