文献
J-GLOBAL ID：200902099024103259 整理番号：90A0430679
集合論の定理証明向けICAI
ICAI for theorem proving in set theory.
出版者サイト
複写サービスで全文入手
{{ this.onShowCLink("http://jdream3.com/copy/?sid=JGLOBAL&noSystem=1&documentNoArray=90A0430679©=1") }}
高度な検索・分析はJDreamⅢで
{{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=90A0430679&from=J-GLOBAL&jstjournalNo=S0532B") }}
著者 (3件)：
小林学
小林学 について
名寄せID(JGPN) 200901100538288988 ですべてを検索
「小林学」ですべてを検索
(
慶応大 理工
)
慶応大 理工 について
名寄せID(JGON) 201551000098038732 ですべてを検索
「慶応大 理工」ですべてを検索
機関情報を見る
,
吉川厚
吉川厚 について
名寄せID(JGPN) 201550000300237587 ですべてを検索
「吉川厚」ですべてを検索
(
慶応大 理工
)
慶応大 理工 について
名寄せID(JGON) 201551000098038732 ですべてを検索
「慶応大 理工」ですべてを検索
機関情報を見る
,
大場勇治郎
大場勇治郎 について
名寄せID(JGPN) 200901100333168874 ですべてを検索
「大場勇治郎」ですべてを検索
(
慶応大 理工
)
慶応大 理工 について
名寄せID(JGON) 201551000098038732 ですべてを検索
「慶応大 理工」ですべてを検索
機関情報を見る
資料名：
電子情報通信学会技術研究報告 (IEICE Technical Report (Institute of Electronics, Information and Communication Engineers))
電子情報通信学会技術研究報告 について
JST資料番号 S0532B ですべてを検索
ISSN,ISBN,CODENですべてを検索
資料情報を見る
巻：
90
号：
19(ET90 1-14)
ページ：
67-74
発行年：
1990年04月25日
JST資料番号：
S0532B
ISSN：
0913-5685
資料種別：
会議録 (C)
発行国：
日本 (JPN)
言語：
日本語 (JA)
タイトルに関連する用語 (3件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
集合
集合 について
「集合」ですべてを検索
この用語の用語情報を見る
,
定理証明
定理証明 について
「定理証明」ですべてを検索
この用語の用語情報を見る
,
ICAI
ICAI について
「ICAI」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM
