编辑配置文件(在新选项卡中打开) 维斯科基尔 合著者距离 作者ID: 维斯科西尔.jiri 发布日期: 维斯科基尔 编入索引的文档: 9出版物自2008年起 合著者: 7合著者具有9联合出版物 309合著作者 全部的 前5名合著者 0 单作者的 9 约瑟夫·乌尔班 5 塞萨里·卡利西克 1 简·赫尔曼·杰弗斯 1 帕维尔·普德拉克 1 斯蒂芬·舒尔茨 1 大卫,斯坦诺夫斯克 1 杰夫·萨特克利夫 系列 领域 9 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用79中的次51文件 引用人▼ 年份▼ MaLARea SG1–带语义指导的自动推理机器学习器。 Zbl 1165.68434号 约瑟夫·乌尔班;杰夫·萨特克利夫;彼得·普德拉克;维斯科基尔 29 2008 MaLeCoP公司。机器学习连接证明。 Zbl 1332.68206号 约瑟夫·乌尔班;维斯科基尔;Štěpánek,Petr 19 2011 大型形式数学中的定理证明是一个新兴的人工智能领域。 Zbl 1276.68139号 约瑟夫·乌尔班;维斯科基尔 8 2013 在非正式数学和正式数学之间发展基于实体的翻译方法:项目描述。 Zbl 1304.68172号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔;赫尔曼·格乌弗斯 6 2014 系统描述:E.T.0.1。 Zbl 1465.68286号 塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔 5 2015 大理论中更强推理的柠檬化。 Zbl 1471.68313号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 4 2015 通过新定义的发明实现自动校对压缩。 Zbl 1253.68293号 维斯科基尔;大卫,斯坦诺夫斯克;约瑟夫·乌尔班 4 2010 通过数学的统计和语义解析实现形式化的自动化。 Zbl 1483.68490号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 2 2017 学习分析对齐的语料库(粗菱形)。 兹比尔1465.68287 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 2 2015 通过数学的统计和语义解析实现形式化的自动化。 Zbl 1483.68490号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 2 2017 系统描述:E.T.0.1。 Zbl 1465.68286号 塞萨里·卡利西克;斯蒂芬·舒尔茨;约瑟夫·乌尔班;维斯科基尔 5 2015 大理论中更强推理的柠檬化。 Zbl 1471.68313号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 4 2015 学习分析对齐的语料库(粗菱形)。 Zbl 1465.68287号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔 2 2015 在非正式数学和正式数学之间发展基于实体的翻译方法:项目描述。 Zbl 1304.68172号 塞萨里·卡利西克;约瑟夫·乌尔班;维斯科基尔;赫尔曼·格乌弗斯 6 2014 大型形式数学中的定理证明是一个新兴的人工智能领域。 Zbl 1276.68139号 约瑟夫·乌尔班;维斯科基尔 8 2013 MaLeCoP公司。机器学习连接证明程序。 兹比尔1332.68206 约瑟夫·乌尔班;维斯科基尔;Štěpánek,Petr 19 2011 通过新定义的发明实现自动校对压缩。 Zbl 1253.68293号 维斯科基尔;大卫,斯坦诺夫斯克;约瑟夫·乌尔班 4 2010 MaLARea SG1–带语义指导的自动推理机器学习器。 Zbl 1165.68434号 约瑟夫·乌尔班;杰夫·萨特克利夫;彼得·普德拉克;维斯科基尔 29 2008 所有引用出版物 前5名被引用出版物 全部的 前5名78位作者引用 26 约瑟夫·乌尔班 14 塞萨里·卡利西克 6 维斯科基尔 5 Jakubův,简 4 丹尼尔·库尔温 4 米罗斯拉夫·奥沙克 3 卡雷尔·奇瓦洛夫斯克 3 Thibault Gauthier 3 马丁·苏达 3 杰夫·萨特克利夫 3 佐姆博里(Zsolt Zombori) 2 格拉泽戈兹·班塞雷克 2 乍得·布朗·爱德华 2 Czesław,拜林斯基 2 陈树伟 2 迈克尔·Färber 2 查拉图斯特拉·阿马德乌斯·戈泽尔 2 亚当·格拉博夫斯基 2 赫克斯,汤姆·M。 2 科尔尼沃维奇,阿图尔 2 亚历山大·莱奇 2 刘军 2 罗马人Matuszewski 2 亚当·纳莫维奇 2 Pąk,卡罗尔 2 叶夫根·齐夫茨瓦泽 2 徐,杨 1 杰西·阿拉玛 1 贾斯敏·克里斯蒂安·布兰切特 1 玛丽亚·保拉(Maria Paola Bonacina) 1 曹、冯 1 普尔泽米斯劳·乔杰基 1 约瑟夫·科内利 1 马克斯·克拉默 1 阿德里安·西萨里克 1 乌尔里希·富巴赫 1 简·赫尔曼·杰弗斯 1 简·戈兹尼 1 大卫·格林纳韦 1 何兴兴 1 斯特凡·赫兹尔 1 布里兰·希塔吉 1 霍德、克里什托夫 1 什特·潘·霍卢布 1 贾尼契奇,普雷德拉格 1 彼得·科普克 1 佐尔坦科瓦奇 1 拉马纳·库马尔 1 迈克尔·彼得·莱特曼 1 韦斯纳·马林科维奇 1 乌苏拉·马丁 1 米查勒夫斯基(Michalewski)、亨利克(Henryk) 1 Murray Rust,戴夫 1 姆拉丹·尼科利奇 1 迈克尔·诺里什 1 萨姆·奥雷 1 艾莉森·皮斯 1 比约恩·佩尔泽 1 巴托斯·彼得罗夫斯基 1 梅纳·奎梅纳 1 马库斯·拉贝。 1 迈克尔·劳森 1 贾尔斯·里格尔 1 吉赛尔·赖斯 1 彼得·鲁德尼基 1 克劳迪娅·肖恩 1 伯恩哈德·施罗德 1 斯蒂芬·舒尔茨 1 Natarajan Shankar 1 萨那斯托亚诺维奇 1 克里斯蒂安·塞格迪 1 罗伯特·弗罗夫 1 安德烈·沃伦科夫 1 丹尼尔·韦勒(Daniel S.Weller)。 1 布鲁诺沃尔岑洛格尔古 1 是的,埃里克 1 易建兵 1 钟晓梅 全部的 前5名7篇连载文章中引用 11 自动推理杂志 2 信息科学 2 理论计算机科学 2 符号计算杂志 2 数学与人工智能年鉴 1 国际近似推理杂志 1 计算机科学中的数学 全部的 前5名在6个字段中引用 49 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 1 数论(11-XX) 1 代数几何(14-XX) 1 几何图形(51至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文