编辑配置文件（在新选项卡中打开） 和，Koh Chuen 合著者距离 作者ID： hoa.koh-chuen村 发布日期： 和，Koh Chuen 已编制索引的文档： 1出版物自2021年起 合著者： 5位合著者具有1联合出版物 111位Co-Co作者 合著者 0 单作者的 1 董金松 1 侯哲 1 刘，杨 1 大卫·萨南 1 阿文·费尔南托 系列 1 自动推理杂志 领域 1 计算机科学（68至XX） 按年份列出的出版物