停止战争！

Осрановиревойну！

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

斯蒂芬·舒尔茨0001

>主页 >珀森斯

人员信息

附属： 德国巴登-符腾堡州Duale Hochschule
附属： 德国慕尼黑技术大学

其他同名人员

请参阅常见问题解答

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[公元39年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/JakubuvCGKOP00U23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/JakubuvCGKOP00U23
扬·贾库布夫，卡雷尔·切瓦洛夫斯基，查拉图斯特拉·阿马德乌斯·戈泽尔，塞萨里·卡利西克，米雷克·奥尔沙克，巴托斯·彼得罗夫斯基，斯蒂芬·舒尔茨，马丁·苏达，约瑟夫·乌尔班:
MizAR 60用于MizAR 50。 ITP公司 2023:19:1-19:22
[公元38年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBS23
彼得·武克米洛维奇，布兰切特，斯蒂芬·舒尔茨:
将高性能验证程序扩展到高阶逻辑。 TACAS（2） 2023:111-129
[i3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-06686
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-06686
扬·贾库布夫，卡雷尔·奇瓦洛夫斯克，查拉图斯特拉·阿马德乌斯·戈泽尔，塞萨里·卡利西克，米雷克·奥尔沙克，巴托什·皮奥特洛夫斯基，斯蒂芬·舒尔茨，马丁·苏达，约瑟夫·乌尔班:
MizAR 60换MizAR 50。 CoRR公司 abs/2303.06686(2023)
2022
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/VukmirovicBCS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/VukmirovicBCS22
彼得·武克米洛维奇，布兰切特，西蒙·克鲁恩斯，斯蒂芬·舒尔茨:
将brainiac证明程序扩展到无lambda-free高阶逻辑。国际期刊软件。技术工具。Transf公司。 24(1):67-87(2022)
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/flairs/Pease022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flairs/Pease022
亚当·皮斯，斯蒂芬·舒尔茨:
大型理论中的矛盾检测与修复。 FLAIRS公司 2022
[公元36年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/paar/000122
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/paar/000122
斯蒂芬·舒尔茨:
叠加项序的经验性质。 PAAR@IJCAR酒店 2022
2020
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/GalmicheSS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/GalmicheSS20
迪迪埃·加尔米奇，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
前言：2018年国际癌症研究理事会（IJCAR）精选扩展论文专刊。 J.自动化。原因。 64(7):1165-1167(2020)
[公元35年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/Ruhdorfer020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Ruhdorfer020
康斯坦丁·鲁多夫，斯蒂芬·舒尔茨:
高效实施大规模监视列表。 PAAR+SC²@IJCAR 2020:120-133
[公元34年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/SaidyS0S20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SaidyS0S20
纳库·赛迪，汉娜·齐格弗里德，斯蒂芬·舒尔茨，杰夫·萨特克利夫:
减少TPTP语言（及其他）。 PAAR+SC²@IJCAR 2020:134-147
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001P20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001P20
斯蒂芬·舒尔茨，亚当·皮斯:
通过示例教学自动定理证明：PyRes 1.2-（系统描述）。国际JCAR（2） 2020:158-166

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[公元32年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001CV19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001CV19
斯蒂芬·舒尔茨，西蒙·克鲁恩斯，彼得·武克米洛维奇:
更快、更高、更强：E 2.3。 CADE公司 2019:495-507
[公元31年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VukmirovicBCS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VukmirovicBCS19
彼得·武克米洛维奇，贾斯敏·克里斯蒂安·布兰切特，西蒙·克鲁恩斯，斯蒂芬·舒尔茨:
将Brainiac证明扩展到无Lambda的高阶逻辑。 TACAS（1） 2019:192-210
2018
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/FontaineKSU18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/FontaineKSU18
帕斯卡·方丹，塞萨里·卡利西克，斯蒂芬·舒尔茨，约瑟夫·乌尔班:
自动推理专刊前言。 AI通讯。 31(三):235-236(2018)
[c30]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/GoertzelJ0U18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/GoretzelJ0U18
查拉图斯特拉·阿马德乌斯·戈泽尔，扬·贾库布夫，斯蒂芬·舒尔茨，约瑟夫·乌尔班:
观察证据：E。大理论的观察列表指导。 ITP公司 2018:270-288
[电子12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2018
迪迪埃·加尔米奇，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
自动推理——2018年第九届国际联合会议，IJCAR，作为联邦逻辑会议的一部分，2018年7月14日至17日在英国牛津举行，会议记录。计算机科学课堂讲稿10900,施普林格 2018，国际标准图书编号978-3-319-94204-9 [目录]
[e11]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2018w
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2018w
吉尔斯·巴特，康斯坦丁柯罗文，斯蒂芬·舒尔茨，马丁·苏达，杰夫·萨特克利夫，玛格斯·维恩斯:
LPAR-22研讨会和简短论文集，埃塞俄比亚阿瓦萨，2018年11月16日至21日。 Kalpa计算机出版物9,Easy椅子 2018 [目录]
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-04007
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-04007
查拉图斯特拉·阿马德乌斯·戈泽尔，扬·贾库布夫，斯蒂芬·舒尔茨，约瑟夫·乌尔班:
观察证据：E。大理论的观察列表指导。 CoRR公司 abs/1802.04007(2018)
2017
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BlanchetteF0W17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BlanchetteF0W17
贾斯敏·克里斯蒂安·布兰切特，帕斯卡·方丹，斯蒂芬·舒尔茨，乌韦·沃尔德曼:
实现快速交互验证的强大高阶自动化。拱廊@CADE 2017:16-23
[公元28年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000117
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000117
斯蒂芬·舒尔茨:
我们几乎什么都不知道！l但我们可以学习吗？拱廊@CADE 2017:29至32
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001SUP17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0001SUP17
斯蒂芬·舒尔茨，杰夫·萨特克利夫，约瑟夫·乌尔班，亚当·皮斯:
检测大型一阶知识库中的不一致性。 CADE公司 2017:310-325
2016
[公元26年]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/cade/HassonaS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HassonaS16
穆罕默德·哈索纳，斯蒂芬·舒尔茨:
扣除作为服务。 IJCAR的PAAR 2016:32-40
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchulzM16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchulzM16
斯蒂芬·舒尔茨，马丁·莫尔曼:
饱和定理证明的子句选择启发式的性能。国际JCAR 2016:330至345
[电子10]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2016paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016paar网站
帕斯卡·方丹，斯蒂芬·舒尔茨，约瑟夫·乌尔班:
2016年7月2日，葡萄牙科英布拉，与国际自动推理联合会议（IJCAR 2016）合办的第五届自动推理实践方面研讨会会议记录。 CEUR研讨会记录1635,CEUR-WS.org公司 2016 [目录]
[电子9]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2015iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2015iwil
波利斯·寇涅夫，斯蒂芬·舒尔茨，劳伦特·西蒙:
IWIL@LPAR2015年，第11届逻辑实施国际研讨会，斐济苏瓦，2015年11月23日。 EPiC计算系列40,Easy椅子 2016 [目录]
2015
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KaliszykSUV15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KaliszykSUV15
塞萨里·卡利西克，斯蒂芬·舒尔茨，约瑟夫·乌尔班，杰里·维斯科西尔:
系统描述：E.T.0.1。 CADE公司 2015:389-398年
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/gcai/SchaferS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/SchaferS15
西蒙·施费尔，斯蒂芬·舒尔茨:
用遗传算法证明启发式的育种定理。 GCAI公司 2015:263-274
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Sutcliffe015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Sutcliffe015
杰夫·萨特克利夫，斯蒂芬·舒尔茨:
数以千计的定理证明者模型（TMTP）模型库-第一步。 IWIL@LPAR 2015:106-121
[电子8]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2014paar会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014paar
斯蒂芬·舒尔茨，莱昂纳多·德·莫拉，波利斯·寇涅夫:
第四届自动推理实践研讨会，IJCAR的PAAR2014年，奥地利维也纳，2014年。 EPiC计算系列31,Easy椅子 2015 [目录]
2014
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PeaseS14号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PeaseS14
亚当·皮斯，斯蒂芬·舒尔茨:
基于Sigma KEE 3.0的大型本体知识工程。国际JCAR 2014:519-525
2013
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/Schulz13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/Schulz13
斯蒂芬·舒尔茨:
简单高效的特征向量索引子句包容。自动推理与数学 2013:45-67
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KuhlweinSU13号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KuhlweinSU13
丹尼尔·库尔文，斯蒂芬·舒尔茨，约瑟夫·乌尔班:
E-MaLeS 1.1。 CADE公司 2013:407-413
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Schulz13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Schulz13
斯蒂芬·舒尔茨:
系统描述：E 1.8。 LPAR公司 2013:735-743
[电子7]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012paar
帕斯卡·方丹，雷娜特·施密特，斯蒂芬·舒尔茨:
2012年6月30日至7月1日，英国曼彻斯特，PAAR-2012，第三次自动推理实践研讨会。 EPiC计算系列21,Easy椅子 2013 [目录]
[电子6]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2012iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2012iwil
康斯坦丁柯罗文，斯蒂芬·舒尔茨，尤金妮娅·特诺夫斯卡:
IWIL 2012：第九届物流实施国际研讨会，委内瑞拉梅里达，2012年3月10日。 EPiC计算系列22,Easy椅子 2013 [目录]
2012
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz12
斯蒂芬·舒尔茨:
用于参数调制和重写的指纹索引。国际JCAR 2012:477-483
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/SutcliffeSCB12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/SutcliffeSCB12
杰夫·萨特克利夫，斯蒂芬·舒尔茨，科恩·克莱森，鲍姆加特内:
TPTP类型的带算术的一阶表单。 LPAR公司 2012:406-419年
[电子5]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2010paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010paar
雷娜特·施密特，斯蒂芬·舒尔茨，波利斯·寇涅夫:
2010年7月14日，英国苏格兰爱丁堡，PAAR-2010，第二届自动推理实践方面研讨会论文集。 EPiC计算系列9,Easy椅子 2012 [目录]
[电子4]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2010iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2010iwil
杰夫·萨特克利夫，斯蒂芬·舒尔茨，尤金妮娅·特诺夫斯卡:
第八届物流实施国际研讨会，IWIL 2010，日惹，印尼，2011年10月9日。计算中的EPiC系列2,Easy椅子 2012 [目录]
2010
[公元11年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/aicom/KonevSS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/KonevSS10
波利斯·寇涅夫，雷娜特·施密特，斯蒂芬·舒尔茨:
关于自动推理实际方面的专题。 AI通讯。 23(2-3):67-68(2010)

2000 – 2009

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2009
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/japll/SchmidtSS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/japll/SchmidtSS09
雷娜特·施密特，杰夫·萨特克利夫，斯蒂芬·舒尔茨:
经验上成功的计算机推理。 J.应用。日志。 7(1):1(2009)
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/ArmandoBRS09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/ArmandoBRS09
亚历山德罗·阿曼多，玛丽亚·保拉·博纳西纳，西尔维奥·兰伊斯，斯蒂芬·舒尔茨:
基于重写的可满足性过程的新结果。 ACM事务处理。计算。日志。 10(1):4:1-4:51(2009)
2008
[电子3]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2008paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2008paar
波利斯·寇涅夫，雷娜特·施密特，斯蒂芬·舒尔茨:
2008年8月10日至11日，澳大利亚悉尼，第一届自动推理实践方面国际研讨会论文集。 CEUR研讨会论文集373,CEUR-WS.org公司 2008 [目录]
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2008w公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2008w
彼得罗·鲁德尼基，杰夫·萨特克利夫，波利斯·寇涅夫，雷娜特·施密特，斯蒂芬·舒尔茨:
2008年11月22日，卡塔尔多哈，LPAR 2008年研讨会会议记录，《知识交流：自动证明人和证明助理》，以及第七届物流实施国际研讨会。 CEUR研讨会记录418,CEUR-WS.org公司 2008 [目录]
2007
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/cade/2007esarlt文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2007esarlt
杰夫·萨特克利夫，约瑟夫·乌尔班，斯蒂芬·舒尔茨:
2007年7月17日于德国不来梅举行的CADE-21大型理论经验成功自动推理研讨会论文集。 CEUR研讨会记录257,CEUR-WS.org公司 2007 [目录]
2006
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ijait/SchulzST06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ijait/SchulzST06
斯蒂芬·舒尔茨，杰夫·萨特克利夫，塔内尔·塔米特:
前言。国际艺术杂志。智力。工具 15(1):1-2(2006)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/FischerSS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FischerSS06
伯恩德·菲舍尔，杰夫·萨特克利夫，斯蒂芬·舒尔茨:
经验成功的自动推理：系统问题。 J.自动化。原因。 36(4):287(2006)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日志/jar/FischerSS06a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/FischerSS06a
伯恩德·菲舍尔，杰夫·萨特克利夫，斯蒂芬·舒尔茨:
经验成功的自动推理：应用程序问题。 J.自动化。原因。 37(1-2):1(2006)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SutcliffeSCG06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeSCG06
杰夫·萨特克利夫，斯蒂芬·舒尔茨，科恩·克莱森，艾伦·范·盖尔德:
使用TPTP语言编写派生词和有限解释。国际JCAR 2006:67-81
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-cs-0604054
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-cs-0604054
亚历山德罗·阿曼多，玛丽亚·保拉·博纳奇娜，西尔维奥·兰伊斯，斯蒂芬·舒尔茨:
基于重写的可满足性过程的新结果。 CoRR公司 abs/cs/0604054(2006)
2005
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BozzanoBCJRSS05
马可·波扎诺，罗伯托·布鲁托梅索，亚历山德罗·西马蒂，汤米·A·琼蒂拉，彼得·范·罗苏姆，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
数学SAT：SAT与数学决策程序的紧密结合。 J.自动化。原因。 35(1-3):265-293(2005)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BozzanoBCJRSS05
马可·波扎诺，罗伯托·布鲁托梅索，亚历山德罗·西马蒂，汤米·A·琼蒂拉，彼得·范·罗苏姆，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
MathSAT 3系统。 CADE公司 2005:315-321
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/ArmandoBRS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/ArmandoBRS05
亚历山德罗·阿曼多，玛丽亚·保拉·博纳西纳，西尔维奥·兰伊斯，斯蒂芬·舒尔茨:
关于可满足性程序的重写方法：扩展、理论组合和实验评价。 FroCoS公司 2005:65岁至80岁
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BozzanoBCJRSS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BozzanoBCJRSS05
马可·波扎诺，罗伯托·布鲁托梅索，亚历山德罗·西马蒂，汤米·A·琼蒂拉，彼得·范·罗苏姆，斯蒂芬·舒尔茨，罗伯托·塞巴斯蒂安尼:
线性算术逻辑可满足性的增量分层过程。 TACAS公司 2005:317-333
2004
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz04公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz04
斯蒂芬·舒尔茨:
系统描述：E 0.81。国际JCAR 2004:223-228
2002
【j4】
- 看法
  - 电子版@iospress.com
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/aicom/Schulz02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/aicom/Schulz02
斯蒂芬·舒尔茨:
一个脑力定理证明器。 AI通讯。 15(2-3):111-126(2002)
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SchulzS02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchulzS02
斯蒂芬·舒尔茨，杰夫·萨特克利夫:
系统描述：GrAnDe 1.0。 CADE公司 2002:280-284
【c9】
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/flairs/Schulz02公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flairs/Schulz02
斯蒂芬·舒尔茨:
近命题CNF公式的不同接地技术比较。亚麻布 2002:72-76
2001
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz01
斯蒂芬·舒尔茨:
系统摘要：E 0.61。国际JCAR 2001:370-375
【c7】
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/flairs/DraegerS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flairs/DraegerS01
约阿希姆·德雷格，斯蒂芬·舒尔茨:
通过无冗余引理化提高自动定理证明程序的性能。 FLAIRS公司 2001:345-349
【c6】
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/flairs/Schulz01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flairs/Schulz01
斯蒂芬·舒尔茨:
基于信息的抽象层次选择。 FLAIRS公司 2001:402-406
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ki/舒尔茨01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ki/Schulz01
斯蒂芬·舒尔茨:
学习等式定理证明的搜索控制知识。 KI/ÖGAI语 2001:320-334
2000
【b1】
- 看法
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - books/daglib/0002958图书
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/daglib/002958
斯蒂芬·舒尔茨:
学习等式演绎的搜索控制知识。德国慕尼黑技术大学，DISKI公司230,Infix Akademische Verlagsgesellschaft公司 2000，国际标准图书编号978-3-89838-230-4第I-XIII页，第1-182页
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/DenzingerS00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/DenzingerS00
约格·登津格，斯蒂芬·舒尔茨:
从多次验证尝试中自动获取搜索控制知识。 Inf.计算。 162(1-2):59-79(2000)

1990年至1999年

请参阅常见问题解答

出版物列表中颜色的含义是什么？

1999
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schulz99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schulz99
斯蒂芬·舒尔茨:
系统摘要：E 0.3。 CADE公司 1999:297-301
[c3]
- 看法
  - 电子版@aaai.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/flairs/SchultzB99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/flairs/SchultzB99
斯蒂芬·舒尔茨，费利克斯·勃兰特:
利用项空间映射获取赤道定理证明中的搜索控制知识。 FLAIRS公司 1999:244-248
1997
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/DenzingerKS97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/DenzingerKS97
约格·登津格，马丁·科伦伯格，斯蒂芬·舒尔茨:
折扣-分布式学习等式证明程序。 J.自动化。原因。 18(2):189-198(1997)
1996
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jsc/DenzingerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jsc/DenzingerS96
约格·登津格，斯蒂芬·舒尔茨:
记录和分析基于知识的分布式演绎过程。 J.塞姆。计算。 21(4):523-541(1996)
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DenzingerS96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DenzingerS96
约格·登津格，斯蒂芬·舒尔茨:
学习领域知识以改进定理证明。 CADE公司 1996:62-76
1994
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/pasco/DenzingerS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/pasco/DenzingerS94
约格·登津格，斯蒂芬·舒尔茨:
记录、分析和呈现分布式演绎过程。 PASCO公司 1994:114-123

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。