【重要】T2R2・STARSearchの停止と後継システムについて
English
Home
>
ヘルプ
論文・著書情報
タイトル
和文:
項内に束縛関係を持つ一階述語論理の構成
英文:
著者
和文:
中村 知己
,
鹿島 亮
.
英文:
Kazuki Nakamura
,
Ryo Kashima
.
言語
Japanese
掲載誌/書名
和文:
京都大学数理解析研究所 講究録
英文:
巻, 号, ページ
Vol. 2083
出版年月
2018年8月
出版者
和文:
英文:
会議名称
和文:
RIMS 共同研究
英文:
開催地
和文:
英文:
©2007
Institute of Science Tokyo All rights reserved.