编辑配置文件（在新选项卡中打开） 肯罗·亚塔克 合著者距离 作者ID： 雅塔克·肯罗 发布日期： 肯罗·亚塔克 已编制索引的文档： 2出版物自2005年以来 合著者： 4位合著者具有2联合出版物 29位合作作者 合著者 0 单作者的 2 藤崎青木 1 千叶，Yuki 1 Takuya Katayama 1 吴迪昂 系列 字段 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物已被引用1中的时间1文件 引用人▼ 年份▼ 在HOL中实现特定于应用程序的面向对象理论。 Zbl 1169.68362号 Kenro Yatake先生;藤崎青木;Takuya Katayama 1 2005 在HOL中实现特定于应用程序的面向对象理论。 Zbl 1169.68362号 肯罗·亚塔克;藤崎青木;Takuya Katayama 1 2005 2位作者引用 1 阿希姆·D·布鲁克。 1 沃尔夫，伯克哈特 连载1篇 1 自动推理杂志 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文