文献
J-GLOBAL ID：201602020915664146 整理番号：65A0170957
原理を基礎とする機械向き論理
A machineoriented logic based on the resolution principle
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
著者 (1件)：
ROBINSON J A
ROBINSON J A について
「ROBINSON J A」ですべてを検索
資料名：
J Assoc Comput Mach (Journal of the Association for Computing Machinery)
J Assoc Comput Mach について
JST資料番号 C0267A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻：
12
号：
1
ページ：
23-11
発行年：
1965年
JST資料番号：
C0267A
ISSN：
0004-5411
CODEN：
JACOA
資料種別：
逐次刊行物 (A)
記事区分：
原著論文
発行国：
アメリカ合衆国 (USA)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
計算機を用いる定理o証明プログラムにおいて,以前は,もともと他の目的のために案出された一次論理に基礎をおく手順を用いていた。本論文は,計算機による定理証明プログラムo基本をなす道具だてとして使用することを目的として案出した一次論理0定式化を述べる。これはRes01ution原理を基礎とするもので,その利点は,これまでの定理証明手順で困却させられた主要々組合せの障害0-つを避ける道を与えることである;参5
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
原理
原理 について
「原理」ですべてを検索
この用語の用語情報を見る
,
基礎
基礎 について
「基礎」ですべてを検索
この用語の用語情報を見る
,
論理
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM
