【重要】T2R2・STARSearchの停止と後継システムについて
English
Home
>
ヘルプ
論文・著書情報
タイトル
和文:
到達可能関係の推移的閉包を扱う様相論理の完全性(2)
英文:
著者
和文:
鹿島亮
.
英文:
RYO KASHIMA
.
言語
Japanese
掲載誌/書名
和文:
日本数学会数学基礎論分科会アブストラクト集
英文:
巻, 号, ページ
出版年月
2010年9月
出版者
和文:
英文:
会議名称
和文:
日本数学会2010年度秋季総合分科会
英文:
開催地
和文:
名古屋大学
英文:
©2007
Institute of Science Tokyo All rights reserved.