文献
J-GLOBAL ID:201002059313222958 整理番号:80A0042231
新しい様式論理における解決
Resolution in a new modal logic.
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=80A0042231&from=J-GLOBAL&jstjournalNo=K19790047") }}
著者 (1件):
SHIMURA M
SHIMURA M について
名寄せID(JGPN) 201550000052526186 ですべてを検索
「SHIMURA M」ですべてを検索
(
Tokyo Inst. Technology
)
Tokyo Inst. Technology について
名寄せID(JGON) 201551000096291252 ですべてを検索
「Tokyo Inst. Technology」ですべてを検索
機関情報を見る
資料名:
Int Jt Conf Artif Intell (Proceedings International Joint Conference on Artificial Intelligence 6 790820 Vol.1-2)
Int Jt Conf Artif Intell について
JST資料番号 K19790047 ですべてを検索
資料情報を見る
巻:
6th
号:
2
ページ:
809-814
発行年:
1979年
JST資料番号:
K19790047
資料種別:
会議録 (C)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
様式論理と呼ぶ新しい論理を提案し,それの定理証明法を考察。本...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
論理
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=80A0042231&from=J-GLOBAL&jstjournalNo=K19790047") }}
タイトルに関連する用語 (2件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
様式
様式 について
「様式」ですべてを検索
この用語の用語情報を見る
,
論理
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM