文献
J-GLOBAL ID：201302269312167950
整理番号：13A1808954
定理証明系Mizarの概要
-
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=13A1808954©=1") }}
-
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=13A1808954&from=J-GLOBAL&jstjournalNo=G0508B") }}
著者 (1件)：
資料名：
巻：
2013
号：
ソサイエティ大会
ページ：
ROMBUNNO.AT-2-2
発行年：
2013年09月03日
JST資料番号：
G0508B
ISSN：
1349-144X
資料種別：
会議録 (C)
記事区分：
短報
発行国：
日本 (JPN)
言語：
日本語 (JA)
シソーラス用語：
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ（有料）でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
,
,
,
,
,
分類 (1件)：
分類
JSTが定めた文献の分類名称とコードです
応用プログラミング言語
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
,
前のページに戻る
