编辑配置文件(在新选项卡中打开) 托马斯·希伦布兰德 合著者距离 作者ID: 希伦布兰德·托马斯 发布日期: 托马斯·希伦布兰德;希伦布兰德,Th。 已编制索引的文档: 11出版物自2001年起 合著者: 16位合著者具有10联合出版物 250位合作作者 全部的 前5名合著者 1 单作者的 5 克里斯托夫·韦登巴赫 三 伯恩德·洛什内尔 2 达利博尔·托皮奇 2 乌韦·沃尔德曼 1 阿夫肖德尔,比扬 1 尤尔根阿文豪斯 1 乌韦·勃拉姆 1 哈拉尔德·甘辛格 1 恩诺·基恩 1 罗伯特·纽文胡斯 1 鲁齐卡皮斯卡 1 亚历山大·里亚扎诺夫 1 罗斯蒂斯拉夫·鲁塞夫 1 雷娜特·施密特(Renate A.Schmidt)。 1 克里斯蒂安·西奥博尔德 1 安德烈·沃伦科夫 系列 1 符号计算杂志 1 AI通信 领域 11 计算机科学(68至XX) 三 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用97中的次81文件 引用人▼ 年份▼ 系统描述:Spass 3.0版。 Zbl 1213.68577号 克里斯托夫·韦登巴赫;雷娜特·施密特(Renate A.Schmidt)。;托马斯·希伦布兰德;罗斯蒂斯拉夫·鲁塞夫;主题,Dalibor 28 2007 SPASS 2.0版。 兹比尔1072.68596 克里斯托夫·韦登巴赫;乌韦·勃拉姆;托马斯·希伦布兰德;基恩,恩诺;克里斯蒂安·西奥博尔德;达利博尔·托皮奇 18 2002 关于定理证明索引技术的评价。 Zbl 0988.68595号 罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 8 2001 WALDMEISTER植物志。 Zbl 1021.68083号 伯恩德·洛什内尔;托马斯·希伦布兰德 8 2002 关于在方程定理证明中使用可接地方程。 Zbl 1019.03005号 J·阿文豪斯。;Th.希伦布兰德。;Löchner,B。 8 2003 下一个WALDMEISTER循环。 Zbl 1072.68576号 托马斯·希伦布兰德;伯恩德·洛什内尔 7 2002 有界域的叠加。 Zbl 1383.03018号 托马斯·希伦布兰德;克里斯托夫·韦登巴赫 7 2013 从搜索到计算:工作中的冗余标准和简化。 Zbl 1383.68076号 托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫 4 2013 Citius altius fortius:从定理证明者Waldmeister中学到的教训。 Zbl 1261.68101号 托马斯·希伦布兰德 4 2003 叠加模是肖斯塔克理论。 Zbl 1278.68260号 哈拉尔德·甘辛格;托马斯·希伦布兰德;乌韦·沃尔德曼 三 2003 扩展了一阶原子定义。 Zbl 1275.68125号 阿夫肖德尔,比扬;托马斯·希伦布兰德;克里斯托夫·韦登巴赫 2 2001 有界域的叠加。 Zbl 1383.03018号 托马斯·希伦布兰德;克里斯托夫·韦登巴赫 7 2013 从搜索到计算:工作中的冗余标准和简化。 Zbl 1383.68076号 托马斯·希伦布兰德;鲁齐卡皮斯卡;乌韦·沃尔德曼;克里斯托夫·韦登巴赫 4 2013 系统描述:Spass 3.0版。 Zbl 1213.68577号 克里斯托夫·韦登巴赫;雷娜特·施密特(Renate A.Schmidt)。;托马斯·希伦布兰德;罗斯季斯拉夫·鲁塞夫;主题,Dalibor 28 2007 关于在等式定理证明中使用地面可连接方程。 Zbl 1019.03005号 J·阿文豪斯。;Th.希伦布兰德。;Löchner,B。 8 2003 Citius altius fortius:从定理证明者Waldmeister中学到的教训。 Zbl 1261.68101号 托马斯·希伦布兰德 4 2003 叠加模是肖斯塔克理论。 Zbl 1278.68260号 哈拉尔德·甘辛格;托马斯·希伦布兰德;乌韦·沃尔德曼 三 2003 SPASS 2.0版。 Zbl 1072.68596号 克里斯托夫·韦登巴赫;乌韦·勃拉姆;托马斯·希伦布兰德;恩诺·基恩;克里斯蒂安·西奥博尔德;达利博尔·托皮奇 18 2002 WALDMEISTER的植物志。 Zbl 1021.68083号 伯恩德·洛什内尔;托马斯·希伦布兰德 8 2002 下一个WALDMEISTER循环。 Zbl 1072.68576号 托马斯·希伦布兰德;伯恩德·洛什内尔 7 2002 关于定理证明索引技术的评价。 Zbl 0988.68595号 罗伯特·纽文胡斯;托马斯·希伦布兰德;亚历山大·里亚扎诺夫;安德烈·沃伦科夫 8 2001 扩展了一阶原子定义。 Zbl 1275.68125号 阿夫肖德尔,比扬;托马斯·希伦布兰德;克里斯托夫·韦登巴赫 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名125位作者引用 8 克里斯托夫·韦登巴赫 6 安德烈·沃伦科夫 6 乌韦·沃尔德曼 5 雷娜特·施密特(Renate A.Schmidt)。 5 杰夫·萨特克利夫 5 索菲·托雷特 4 彼得·鲍姆加特纳 4 乌尔里希·赫斯塔特 4 科瓦奇,劳拉·伊尔迪科 4 格奥尔格·斯特鲁思 三 克里斯托夫·埃瓦尔德·本兹穆勒 三 克莱尔·迪克森 三 安德烈·杜阿尔特 三 康斯坦丁·科洛文 三 泰斯,弗兰克 三 约瑟夫·乌尔班 三 莎拉·温克勒 2 贾斯敏·克里斯蒂安·布兰切特 2 玛丽亚·保拉(Maria Paola Bonacina) 2 马丁·布隆伯格 2 乔达里,Dipak L。 2 科恩·克莱森 2 Om P.达马尼。 2 阿诺德·菲埃茨克 2 托马斯·希伦布兰德 2 彼得·霍夫纳 2 安·利利斯特罗姆 2 伯恩德·洛什内尔 2 米歇尔·路德维希 2 劳伦斯·查尔斯·保尔森 2 佩尔泽,比约恩 2 亚历山大·里亚扎诺夫 2 西蒙·罗比拉德 2 斯蒂芬·舒尔茨 2 张,兰 1 加博尔·阿拉吉 1 卡洛斯·阿雷塞斯 1 杰里米·阿维加德 1 格拉泽戈兹·班塞雷克 1 迈克尔·比森。 1 亚历山大·本特坎普 1 尼古拉·S·比约纳。 1 乍得·布朗·爱德华 1 曹、冯 1 陈树伟 1 卡雷尔·奇瓦洛夫斯克 1 西蒙·科尔顿 1 Sylvain Conchon公司 1 安德鲁·克洛珀 1 莱昂纳多·德·莫拉 1 爱德华·T·迪安。 1 朱尔斯·德沙奈斯 1 多米尼克·迪特里希 1 Irina德拉戈斯特 1 弗朗西斯科·杜兰 1 瑞克·埃尔肯斯 1 拉沙·法奎 1 克里斯托夫·费泽尔 1 阿尔贝托·菲奥里 1 乌尔里希·富巴赫 1 格雷斯,伯恩哈德 1 查拉图斯特拉·阿马德乌斯·戈泽尔 1 丹尼尔·戈林 1 让·古鲍特·拉雷克 1 Jan Friso,格鲁特 1 法贾尔·海法尼 1 汤姆·M·海斯克斯。 1 霍德、克里什托夫 1 黄珊珊 1 Jakubův,简 1 菲利普·詹姆斯 1 米科拉什·亚诺塔 1 Jean-Pierre Jouannaud 1 迪帕克·卡普尔 1 曼弗雷德·科伯 1 迈克尔·基扬(Michael K.Kinyon)。 1 迈克尔·科尔哈斯 1 帕特里克·科普曼 1 科特尔·尼科夫(Evgeny A.Kotel’nikov)。 1 马库斯·科洛奇 1 萨瓦·A·克里斯蒂。 1 赵磊 1 洛伦兹·勒特盖布 1 刘军 1 亚历山大·利亚列茨基。 1 罗伊·麦卡斯兰德。 1 安德烈亚斯·梅耶 1 何塞·梅塞盖尔·瓜伊塔 1 阿尔特·米德尔多普 1 马丁·莫尔曼 1 乔治·莫瑟 1 约翰·穆玛 1 罗伯特·纽文胡斯 1 Nummelin,维萨卡 1 米罗斯拉夫·奥沙克 1 安德烈·帕斯科维奇 1 杰勒·皮彭布罗克 1 鲁齐卡皮斯卡 1 尤里·普齐斯 1 雅各布·拉特 …还有25位作者 全部的 前5名16篇连载文章中引用 14 自动推理杂志 三 符号计算杂志 三 数学与人工智能年鉴 2 信息与计算 2 ACM计算逻辑事务 1 信息处理信件 1 信息科学 1 计算机程序设计科学 1 计算的形式方面 1 机器学习 1 应用非经典逻辑杂志 1 国际非线性科学与数值模拟杂志 1 逻辑与代数程序设计杂志 1 应用逻辑杂志 1 计算机科学中的数学 1 符号逻辑述评 全部的 前5名在9个字段中引用 72 计算机科学(68至XX) 37 数理逻辑与基础(03-XX) 三 历史和传记(01-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 常微分方程(34-XX) 1 几何图形(51至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文