文献
J-GLOBAL ID：201102111602086204 整理番号：11A0280077
弱い2次有界算法に関する独立した結果
An independence result on weak second order bounded arithmetic
出版者サイト
複写サービスで全文入手
高度な検索・分析はJDreamⅢで
著者 (1件)：
KURODA S
KURODA S について
名寄せID(JGPN) 201550000171996379 ですべてを検索
「KURODA S」ですべてを検索
資料名：
MATHEMATICAL LOGIC QUARTERLY
MATHEMATICAL LOGIC QUARTERLY について
JST資料番号 O4540A ですべてを検索
ISSN,ISBN,CODENですべてを検索
巻：
47
号：
2
ページ：
183-186
発行年：
2001年
JST資料番号：
O4540A
ISSN：
0942-5616
資料種別：
逐次刊行物 (A)
発行国：
その他 (ZZZ)
言語：
英語 (EN)
タイトルに関連する用語 (2件)：
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです
有界
有界 について
「有界」ですべてを検索
この用語の用語情報を見る
,
算法
算法 について
「算法」ですべてを検索
この用語の用語情報を見る
前のページに戻る
TOP
BOTTOM
