【重要】T2R2・STARSearchの停止と後継システムについて English

Home > ヘルプ 論文・著書情報 タイトル 和文:   英文: Sequent calculi for some strict implication logics  著者 和文: Ryo Ishigaki, 鹿島亮.   英文: Ryo Ishigaki, Ryo Kashima.   言語 English  掲載誌/書名 和文:   英文: Logic Journal of the IGPL  巻, 号, ページ Vol. 16    No. 2    pp. 155-174 出版年月 2008年4月  出版者 和文:   英文:   会議名称 和文:   英文:   開催地 和文:   英文:   DOI https://doi.org/10.1093/jigpal/jzm058

©2007 Institute of Science Tokyo All rights reserved.