自动扣除会议
2023年第29届CADE：意大利罗马
布里吉特·皮恩特卡 
, 切萨雷·蒂内利 :
自动扣减-CADE 29-第29届自动扣减国际会议，意大利罗马，2023年7月1日至4日，会议记录。 计算机科学课堂讲稿 14132, 施普林格 2023 ，国际标准图书编号 978-3-031-38498-1 [目录]
2021年11月28日：虚拟活动
安德烈·普拉泽 , 杰夫·萨特克利夫 :
自动扣减-CADE 28-第28届自动扣减国际会议，虚拟事件，2021年7月12日至15日，会议记录。 计算机科学课堂讲稿 12699, 施普林格 2021 ，国际标准图书编号 978-3-030-79875-8 [目录]
2019年第27届CADE：巴西纳塔尔
帕斯卡·方丹 :
自动扣减-CADE 27-27第27届自动扣减国际会议，巴西纳塔尔，2019年8月27-30日，会议记录。 计算机科学课堂讲稿 11716, 施普林格 2019 ，国际标准图书编号 978-3-030-29435-9 [目录]
2017年第26届CADE：瑞典哥德堡
莱昂纳多·德·莫拉 :
自动扣减-CADE 26-第26届自动扣减国际会议，瑞典哥德堡，2017年8月6日至11日，会议记录。 计算机科学课堂讲稿 10395, 施普林格 2017 ，国际标准图书编号 978-3-319-63045-8 [目录]
2015年第25届CADE：德国柏林
艾米·费尔蒂 , 阿尔特·米德尔多普 :
自动扣除——CADE-25——第25届自动扣除国际会议，德国柏林，2015年8月1日至7日，会议记录。 计算机科学课堂讲稿 9195, 施普林格 2015 ，国际标准图书编号 978-3-319-21400-9 [目录]
2013年第24届CADE：美国纽约州普莱西德湖
玛丽亚·保拉·博纳西纳 :
自动扣减-CADE-24-第24届自动扣减国际会议，美国纽约州普莱西德湖，2013年6月9日至14日。 诉讼程序。 计算机科学课堂讲稿 7898, 施普林格 2013 ，国际标准图书编号 978-3-642-38573-5 [目录]
2011年第23届CADE：波兰弗罗茨瓦夫
尼古拉·比约纳 , Viorica Sofronie-Stokkerman公司 :
自动扣减-CADE-23-第23届自动扣减国际会议，2011年7月31日至8月5日，波兰弗罗茨瓦夫。 诉讼程序。 计算机科学课堂讲稿 6803, 施普林格 2011 ，国际标准图书编号 978-3-642-22437-9 [目录]
2009年第22届CADE：加拿大蒙特利尔
雷娜特·施密特 :
自动扣减-CADE-22，第22届自动扣减国际会议，加拿大蒙特利尔，2009年8月2-7日。 诉讼程序。 计算机科学课堂讲稿 5663, 施普林格 2009 ，国际标准图书编号 978-3-642-02958-5 [目录]
2007年第21届CADE：德国不来梅
弗兰克·普芬宁 :
自动扣减-CADE-21，第21届自动扣减国际会议，德国不来梅，2007年7月17-20日，会议记录。 计算机科学课堂讲稿 4603, 施普林格 2007 ，国际标准图书编号 978-3-540-73594-6 [目录] 杰夫·萨特克利夫 , 约瑟夫·乌尔班 , 斯蒂芬·舒尔茨 :
2007年7月17日于德国不来梅举行的CADE-21大型理论经验成功自动推理研讨会论文集。 CEUR研讨会记录 257, CEUR-WS.org公司 2007 [目录] 伯恩哈德·贝克特 :
2007年7月15日至16日，德国不来梅，与CADE-21相关的第四届国际验证研讨会会议记录。 CEUR研讨会记录 259, CEUR-WS.org公司 2007 [目录] 布里吉特·皮恩特卡 , 卡斯滕·舒尔曼 :
逻辑框架与元语言：理论与实践第二届国际研讨会论文集， CADE的LFMTP 2007年7月15日，德国不来梅。 理论计算机科学电子笔记 196, 爱思维尔 2008 [目录]
2005年第20届CADE：爱沙尼亚塔林
罗伯特·尼文胡斯 :
自动扣除——CADE-20，第20届自动扣除国际会议，爱沙尼亚塔林，2005年7月22-27日，会议记录。 计算机科学课堂讲稿 3632, 施普林格 2005 ，国际标准图书编号 3-540-28005-7 [目录]
2003年第19届CADE：美国佛罗里达州迈阿密海滩
弗兰兹·巴德 :
自动扣减-CADE-19，第19届自动扣减国际会议，美国佛罗里达州迈阿密海滩，2003年7月28日至8月2日，会议记录。 计算机科学课堂讲稿 2741, 施普林格 2003 ，国际标准图书编号 3-540-40559-3 [目录]
2002年第18届CADE：丹麦哥本哈根
安德烈·沃伦科夫 :
自动扣减——CADE-18，第18届自动扣减国际会议，丹麦哥本哈根，2002年7月27日至30日，会议记录。 计算机科学课堂讲稿 2392, 施普林格 2002 ，国际标准图书编号 3-540-43931-5 [目录]
2000年第17届CADE：美国宾夕法尼亚州匹兹堡
大卫·A·麦卡利斯特 :
自动扣除-CADE-17，第17届自动扣除国际会议，匹兹堡，宾夕法尼亚州，美国，2000年6月17-20日，会议记录。 计算机科学课堂讲稿 1831, 施普林格 2000 ，国际标准图书编号 3-540-67664-3 [目录] 迪迪埃·加尔米奇 :
2000年6月20日至21日在美国宾夕法尼亚州匹兹堡举行的与CADE-17会议联合举办的“类型理论语言：证明搜索和语义2000”研讨会论文集。 理论计算机科学电子笔记 37, 爱思维尔 2000 [目录]
1999年第16届CADE：意大利特伦托
哈拉尔德·甘津格 :
自动扣除——CADE-16，第16届自动扣除国际会议，意大利特伦托，1999年7月7日至10日，会议记录。 计算机科学课堂讲稿 1632, 施普林格 1999 ，国际标准图书编号 3-540-66222-7 [目录]
1998年第15届CADE：德国林道
克洛德·基什内尔 , 赫莱内·基什内尔 :
自动扣除——CADE-15，第15届自动扣除国际会议，德国林道，1998年7月5日至10日，会议记录。 计算机科学课堂讲稿 1421, 施普林格 1998 ，国际标准图书编号 3-540-64675-2 [目录] 迪迪埃·加尔米奇 :
1998年7月5日在德国林道举行的类型理论语言证明搜索研讨会（结合CADE-15会议）。 理论计算机科学电子笔记 17, 爱思维尔 1998 [目录]
第14届CADE 1997：澳大利亚昆士兰北部汤斯维尔
威廉·麦库恩 :
自动扣款-CADE-14，第14届自动扣款国际会议，澳大利亚北昆士兰汤斯维尔，1997年7月13日至17日，会议记录。 计算机科学课堂讲稿 1249, 施普林格 1997 ，国际标准图书编号 3-540-63104-6 [目录]
1996年第13届CADE：美国新泽西州新不伦瑞克
迈克尔·麦克罗比 , 约翰·斯莱尼 :
自动扣除——CADE-13，第13届自动扣除国际会议，美国新泽西州新不伦瑞克，1996年7月30日至8月3日，会议记录。 计算机科学课堂讲稿 1104, 施普林格 1996 ，国际标准图书编号 3-540-61511-3 [目录]
1994年第12届CADE：法国南希
阿兰·邦迪 :
自动扣除——CADE-12，第十二届自动扣除国际会议，法国南希，1994年6月26日至7月1日，会议记录。 计算机科学课堂讲稿 814, 施普林格 1994 ，国际标准图书编号 3-540-58156-1 [目录]
1992年第11届CADE：美国纽约州萨拉托加斯普林斯
迪帕克·卡普尔 :
自动扣减-CADE-11，第11届自动扣减国际会议，美国纽约州萨拉托加斯普林斯，1992年6月15-18日，会议记录。 计算机科学课堂讲稿 607, 施普林格 1992 ，国际标准图书编号 3-540-55602-8 [目录]
1990年第10届CADE：德国凯泽斯劳滕
Mark E.Stickel公司 :
第十届自动扣除国际会议，Kaiserslautern，FRG，1990年7月24日至27日，会议记录。 计算机科学课堂讲稿 449, 施普林格 1990 ，国际标准图书编号 3-540-52885-7 [目录]
1988年第9届CADE：美国伊利诺伊州阿贡
尤因·L·卢斯克 , 罗斯·A·奥弗贝克 :
第九届自动扣减国际会议，美国伊利诺伊州阿贡，1988年5月23日至26日，会议记录。 计算机科学课堂讲稿 310, 施普林格 1988 ，国际标准图书编号 3-540-19343-X型 [目录]
1986年第8届CADE：英国牛津
1984年第7届CADE：美国加利福尼亚州纳帕
罗伯特·肖斯塔克 :
第七届自动扣款国际会议，美国加利福尼亚州纳帕，1984年5月14日至16日，会议记录。 计算机科学课堂讲稿 170, 施普林格 1984 ，国际标准图书编号 3-540-96022-8 [目录]
1982年第6届CADE：美国纽约
1980年第五届CADE：法国Les Arcs
沃尔夫冈·比贝尔 , 罗伯特·科瓦尔斯基 :
1980年7月8日至11日，法国Les Arcs，第五届自动扣除会议，会议记录。 计算机科学课堂讲稿 87, 施普林格 1980 ，国际标准图书编号 3-540-10009-1 [目录]
1979年第四届CADE：美国德克萨斯州奥斯汀
1977年第三届CADE：美国麻省理工学院
1976年第二届CADE：德国奥伯沃法赫
1974年第一届CADE：美国阿贡国家实验室
