文献
J-GLOBAL ID：201002065815058302 整理番号：78A0260936
LAR:アルゴリズム的推論の論理
LAR: A logic of algorithmic reasoning.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=78A0260936©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=78A0260936&from=J-GLOBAL&jstjournalNo=E0786A") }}
著者 (1件)：
KROEGER F
KROEGER F について
名寄せID(JGPN) 201550000103328198 ですべてを検索
「KROEGER F」ですべてを検索
資料名：
Acta Inf (Acta Informatica)
Acta Inf について
JST資料番号 E0786A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻：
8
号：
3
ページ：
243-266
発行年：
1977年
JST資料番号：
E0786A
ISSN：
0001-5903
資料種別：
逐次刊行物 (A)
記事区分：
原著論文
発行国：
ドイツ (DEU)
言語：
英語 (EN)
抄録/ポイント：
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラムに関する推論は古典的な述語論理におよばないある論理...
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
プログラム理論
プログラム理論 について
「プログラム理論」ですべてを検索
この用語の用語情報を見る
,...
続きはJDreamIII（有料）にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=78A0260936&from=J-GLOBAL&jstjournalNo=E0786A") }}
タイトルに関連する用語 (4件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
LAR
LAR について
「LAR」ですべてを検索
この用語の用語情報を見る
,
アルゴリズム
アルゴリズム について
「アルゴリズム」ですべてを検索
この用語の用語情報を見る
,
推論
推論 について
「推論」ですべてを検索
この用語の用語情報を見る
,
論理
論理 について
「論理」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM
