Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 白旗 優 (著者)
1件
1
0
0
0
IR
Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)
著者
白旗 優
出版者
京都大学数理解析研究所
雑誌
数理解析研究所講究録
(
ISSN:18802818
)
巻号頁・発行日
no.1217, pp.121-142, 2001-06