Yatabe顺辅
人员信息
优化列表
2010 – 2019
2015 【c7】 Yatabe顺辅 :
作为逻辑连接词的真理。 JSAI-isAI研讨会 2015 : 166-182 2014 [j6] Yatabe顺辅 :
关于 ω 以及在构造性天真集理论中具有互模拟的算术。 日志。 J.IGPL公司 22 ( 三 ) : 482-493 ( 2014 ) 2012 【c6】 北村隆 , Thi Bich Ngoc道 , 大崎仁史 , 凌芳 , Yatabe顺辅 :
基于特征树的测试用例设计。 ISoLA(1) 2012 : 458-473 【c5】 Yatabe顺辅 :
亚勃罗悖论,一种创造语言及其语义。 JSAI-isAI研讨会 2012 : 109-124 2011 【c4】 Yatabe顺辅 :
共诱导语言和真实度。 MOL(摩尔) 2011 : 209-226 2010 【c3】 Yatabe顺辅 :
亚布罗样悖论和共诱导。 JSAI-isAI研讨会 2010 : 90-103
2000 – 2009
2009 [j5] Yatabe顺辅 :
理解与Lukasiewicz谓词逻辑中的归纳法相矛盾。 架构(architecture)。 数学。 日志。 48 ( 3-4 ) : 265-268 ( 2009 ) 2007 【j4】 Yatabe顺辅 :
在Lukasiewicz逻辑的集合论中区分非标准自然数。 架构(architecture)。 数学。 日志。 46 ( 3-4 ) : 281-287 ( 2007 ) 2006 [j3] Yatabe顺辅 , Hiroyuki Inaoka先生 :
从集合论的观点看埃文斯的模糊对象。 J.菲洛斯。 日志。 35 ( 4 ) : 423-434 ( 2006 ) 2005 [j2] 约格·布伦德尔 , Yatabe顺辅 :
迫使MAD家族坚不可摧。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 271-312 ( 2005 ) [j1] Yatabe顺辅 :
关于Hájek,Paris和Shepherdson定理的注记。 日志。 J.IGPL公司 13 ( 2 ) : 261-266 ( 2005 ) 【c2】 Yatabe顺辅 , Hiroyuki Inaoka先生 :
模糊性和外延性。 FSKD(1) 2005 : 263-266 2003 【c1】 Yatabe顺辅 , Yuzuru Kakuda公司 , 菊地真 :
关于具有不确定成员关系的集合论。 高速钢 2003 : 458-467