・主催した会議 1.証明論研究集会 2009 (福島), 2010 年2月 2. Sendai Logic Spring Workshop 2008,(東北大学), 2008 年2 月
・主催した会議 1.証明論研究集会 2009 (福島), 2010 年2月 2. Sendai Logic Spring Workshop 2008,(東北大学), 2008 年2 月
复制标题
・主办会议 1. Proof Theory Research Meeting 2009（福岛），2010 年 2 月 2. Sendai Logic Spring Workshop 2008，（东北大学），2008 年 2 月
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
