×
作者ID: 维斯科西尔.jiri“Vyskočil,Jiří”最近发表的zbMATH文章
发布日期: 维斯科基尔
编入索引的文档: 9出版物自2008年起
合著者: 7合著者具有9联合出版物
309合著作者

系列

按年份列出的出版物

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名

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 钟晓梅

按年份列出的引文