编辑配置文件(在新选项卡中打开) Hidalgo-Doblado,M.J。 合著者距离 作者ID: hidalgo-doblado.m-j 发布方式: Hidalgo-Doblado,M.J。 已编制索引的文档: 1出版物自2014年起 合著者: 4位合著者具有1联合出版物 28位合作作者 合著者 0 单作者的 1 阿隆索·希门尼斯、何塞·安东尼奥 1 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 1 Martín-Mateos,Francisco-Jesüs 1 何塞·路易斯·鲁伊斯·雷纳 系列 1 自动推理杂志 领域 1 计算机科学(68至XX) 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用3中的次3文件 引用人▼ 年份▼ 用于描述逻辑的正式验证的基于表格的推理器。 Zbl 1314.68282号 伊达尔戈·多布拉多,M.J。;阿隆索-吉梅内斯,J.A。;Borrego-Díaz,J。;马丁·马泰奥斯,F.J。;鲁伊斯·雷纳,J.L。 三 2014 用于描述逻辑的正式验证的基于表格的推理器。 Zbl 1314.68282号 Hidalgo-Doblado,M.J。;阿隆索-吉梅内斯,J.A。;Borrego-Díaz,J。;马丁·马特奥斯(F.J.Martín-Mateos)。;鲁伊斯·雷纳,J.L。 三 2014 全部的 前5名被10位作者引用 1 阿隆索-吉梅内斯,何塞·安东尼奥 1 阿隆索、何塞·安东尼奥 1 Aranda-Corral,冈萨罗A。 1 博雷戈·迪亚斯(Borrego-Díaz,Joaquín) 1 Fernández-Lebrón,M.Magdalena 1 拉杰夫·普拉巴卡尔·戈尔 1 安东尼奥·埃尔南多 1 JoséHidalgo-Doblado,M。 1 尤金尼奥·罗内斯·洛扎诺 1 吴敏超 2篇连载文章中引用 1 《科学与自然》Ciencias Exactas皇家科学院修订版。意甲:马特马斯。拉萨姆 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 三 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文