停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

2021年11月28日：虚拟活动

>主页 >会议和研讨会 >CADE公司

优化列表

优化激活！

放大??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2021
安德烈·普拉泽,杰夫·萨特克利夫:
自动扣减-CADE 28-第28届自动扣减国际会议，虚拟事件，2021年7月12日至15日，会议记录。计算机科学课堂讲稿12699,施普林格 2021，国际标准图书编号978-3-030-79875-8

受邀会谈

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000121
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000121
利伦·科恩:
归纳法和共归纳法的非资金扣除。 3-24
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RabeS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RaeS21
马库斯·拉贝,克里斯蒂安·塞格迪:
走向自动数学家。 25-37

逻辑基础

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Golinska-Pilarek21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Golinska-Pilarek21
乔安娜·戈林斯卡·皮拉雷克,塔内利·胡斯科宁,米查尔·扎维兹基:
基于表的句子同一性非正则逻辑的决策过程。 41-57
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Wernhard公司B21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WernhardB21
克里斯托夫·沃恩哈德,沃尔夫冈·比贝尔:
向Łukasiewicz和Meredith学习：证据结构研究。 58-75
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/PapacchiniNHD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/PapacchiniNHD21
法比奥·帕帕奇尼,科劳迪亚·纳隆,乌尔里希·赫斯塔特,克莱尔·狄克逊:
基本模态逻辑的有效局部约简。 76-92
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NipkowR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NipkowR21
托比亚斯·尼普科,西蒙·罗·科普夫:
伊莎贝尔的《形而上学：形式化和校对》。 93-110

理论与原则

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BrausseKKM21会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BrausseKKM21
弗兰兹·布劳,康斯坦丁柯罗文,玛格丽塔·科罗维纳,诺伯特·米勒:
ksmt微积分是非线性约束的δ-完全决策过程。 113-130
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CimattiGR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CimattiGR21
亚历山德罗·西马蒂,阿尔贝托·格里乔,吉安卢卡·雷登迪:
基于无量词SMT推理的参数系统通用不变量检验。 131-147
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0007ZRRBT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/0007ZRRBT21
英生,尤尼·佐哈尔,克里斯托夫·林盖森,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
礼貌与稳定无限：共同变得更强。 148-165
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/0001L21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/001L21
Dohan Kim先生,克里斯托弗·林奇:
证明模的方程定理。 166-182
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EchenimIP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EchenimIP21
Mnacho Echenim公司,拉杜·伊奥西夫,尼古拉斯·佩尔蒂埃:
用归纳定义统一分离逻辑中的可判定蕴涵。 183-199
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Chaudhuri21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Chaudhuri21
考斯特夫·乔杜里:
直觉逻辑的子公式链接及其在类型理论中的应用。 200-216
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/佛罗伦萨21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Fiorentini21
卡米洛·佛罗伦萨:
直觉命题逻辑中基于SAT的高效证明搜索。 217-233
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NigamRRR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NigamRRR21
维维克·尼甘姆,吉赛尔·里斯,萨马尔·拉赫穆尼,哈拉尔德·鲁斯:
证据交易的证据检索和证书。 234-251
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BarnettB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BarnettB21
李·A·巴奈特,阿明·比尔:
非子句冗余属性。 252-272
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000221
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000221
山田昭久:
术语改写终止的多维解释。 273-290
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/AlrabbaaBBKK21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/AlrabbaaBBKK21
克里斯蒂安·阿拉巴阿,弗兰兹·巴德,斯特凡·博格沃德,帕特里克·科普曼,艾莉莎·科夫图诺娃:
使用递归质量度量为描述逻辑蕴涵找到好的证据。 291-308
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaderKKN21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaderKKN21网址
弗兰兹·巴德,帕特里克·科普曼,弗朗西斯科·克里格尔,阿德里安·努拉迪安西亚:
计算量化ABoxes w.r.t.静态的最优修复EL公司T盒。 309-326
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HaifaniTW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HaifaniTW21
法贾尔·海法尼,索菲·图雷特,克里斯托夫·魏登巴赫:
SOS分解的广义完备性及其在关联新概念中的应用。 327-343
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/EbnerBT21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/EbnerBT21
加布里埃尔·埃布纳,布兰切特,索菲·图雷特:
统一的拆分框架。 344-360
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HozzovaKV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HozzovaKV21
佩特拉·霍佐娃,劳拉·科瓦奇,安德烈·沃伦科夫:
饱和时的整数归纳。 361-377
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NummelinBTV21号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NummelinBTV21网址
Visa Nummelin卡,亚历山大·本特坎普,索菲·图雷特,彼得·武克米洛维奇:
与第一类布尔函数和Inprocessing子句的叠加。 378-395
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/本特坎普BTV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BentkampBTV21
亚历山大·本特坎普,布兰切特,索菲·图雷特,彼得·武克米洛维奇:
全高阶逻辑的叠加。 396-412

实施和应用

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Vukmirovic公司BBCNT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/VukmirovicBBCNT21
彼得·武克米洛维奇,亚历山大·本特坎普,布兰切特,西蒙·克鲁恩斯,Visa Nummelin卡,索菲·图雷特:
使高阶叠加起作用。 415-432
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BryantH21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BryantH21
兰达尔·布莱恩特,Marijn J.H.鞋垫:
基于BDD的求解器的量化布尔公式的对偶证明生成。 433-449
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ShurrFD21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SchurrFD21
汉斯·约格·舒尔,马蒂亚斯·弗勒里,马丁·德沙奈斯:
证明助手中细粒度证明的可靠重建。 450-467
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/YolcuAH21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/YolcuAH21
埃姆雷·约尔库,斯科特·阿伦森,Marijn J.H.鞋垫:
Collatz猜想的自动化方法。 468-484
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/XuLZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/XuLZ21
徐润清,李黎明,伯华詹:
定积分的验证交互计算。 485-503

ATP和AI

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/TammetDJ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/TammetDJ21
塔内尔·塔米特,德克·德拉海姆,Priit Järv公司:
常识推理的可信度。 507-524
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bartek021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bartek021
菲利普·巴特克,马丁·苏达:
神经优先推荐。 525-542
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000121a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000121a
马丁·苏达:
在学习历史的同时改进谜式子句的选择。 543-561

系统描述

- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NeufeldBCG21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NeufeldBCG21网站
埃默里·纽费尔德（Emery A.Neufeld）,埃齐奥·巴托奇,阿加塔·恰巴托尼,圭多总督府:
强化学习代理的规范主管。 565-576
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KruegerHS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KruegerHS21
瑞恩·克鲁格,杰西·迈克尔·韩,丹尼尔·塞尔萨姆:
为奥林匹克几何问题自动生成图表。 577-588
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/000121b
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/000121b
鲍姆加特内:
保险丝逻辑编程系统。 589-601
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Smallbone21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Smallbone21
尼古拉斯·斯莫尔博内:
Twee：等式定理证明者。 602-613
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/LonKLMSW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/LonKLMSW21
阿德里安·德隆,彼得·科普克,安东·洛伦岑,阿德里安·马蒂,马塞尔·舒茨,马卡里乌斯·温泽尔:
Isabelle/Naproche自然语言证明助理。 614-624
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Moura021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Moura021
莱昂纳多·德·莫拉,塞巴斯蒂安·乌尔里奇:
精益4定理证明程序和编程语言。 625-635
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ErringtonJP21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ErringtonJP21
雅各布·埃林顿,张俊英（Junyoung Jang）,布里吉特·皮恩特卡:
Harpoon：交互机械化元理论（系统描述）。 636-648

服务

管理网站设置

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