【重要】T2R2・STARSearchの停止と後継システムについて
English
Home
>
ヘルプ
論文・著書情報
タイトル
和文:
述語様相μ計算の完全性について
英文:
著者
和文:
鹿島 亮
.
英文:
RYO KASHIMA
.
言語
Japanese
掲載誌/書名
和文:
数学基礎論分科会講演アブストラクト
英文:
巻, 号, ページ
pp. 10
出版年月
2007年3月
出版者
和文:
英文:
会議名称
和文:
日本数学会2007年度年会
英文:
開催地
和文:
埼玉大学
英文:
©2007
Institute of Science Tokyo All rights reserved.