文献
J-GLOBAL ID:200902081291749145 整理番号:91A0326308
型理論 II
Type theory II.
出版者サイト
{{ this.onShowPLink() }}
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=91A0326308©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0326308&from=J-GLOBAL&jstjournalNo=Y0628A") }}
著者 (1件):
龍田真
龍田真 について
名寄せID(JGPN) 201850000401841118 ですべてを検索
「龍田真」ですべてを検索
(
東北大 電通研
)
東北大 電通研 について
名寄せID(JGON) 201551000096670644 ですべてを検索
「東北大 電通研」ですべてを検索
機関情報を見る
資料名:
コンピュータソフトウェア (Computer Software)
コンピュータソフトウェア について
JST資料番号 Y0628A ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻:
8
号:
2
ページ:
136-142
発行年:
1991年03月
JST資料番号:
Y0628A
ISSN:
0289-6540
資料種別:
逐次刊行物 (A)
記事区分:
解説
発行国:
日本 (JPN)
言語:
日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Martin-Loefの型理論について,ITT<sub>n<...
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
データ型
データ型 について
「データ型」ですべてを検索
この用語の用語情報を見る
,...
準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
Martin-Loefの型理論
Martin-Loefの型理論 について
「Martin-Loefの型理論」ですべてを検索
続きはJDreamIII(有料)にて
{{ this.onShowAbsJLink("http://jdream3.com/lp/jglobal/index.html?docNo=91A0326308&from=J-GLOBAL&jstjournalNo=Y0628A") }}
分類 (1件):
分類
JSTが定めた文献の分類名称とコードです
計算理論
(JB02000A)
計算理論 について
分類コード JB02000A で文献を検索
分類コード4桁 JB02 で文献を検索
タイトルに関連する用語 (1件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
型理論
型理論 について
「型理論」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM