Conference on Automated Deduction (CADE)
(brand of TEST)2 × Australia
1 × Austria
1 × Canada
1 × Denmark
1 × Estonia
2 × France
3 × Germany
1 × Ireland
2 × Italy
1 × Poland
9 × USA
2 × United Kingdom
301 ×#proving
200 ×#logic
155 ×#theorem proving
145 ×#named
114 ×#automation
71 ×#reasoning
58 ×#deduction
54 ×#unification
53 ×#using
48 ×#higher-order
Vocabulary: 1521 wordsEvent series page: http://www.cadeinc.org
1444 papers in 32 issues:
- 2019
Proceddings of the 27th International Conference on Automated Deduction (CADE 2019)- 2018
Proceedings of the Ninth International Joint Conference on Automated Reasoning (IJCAR 2018)- 2017
- Proceedings of the 26th International Conference on Automated Deduction (CADE 2017)
- 2016
- Proceedings of the Eighth International Joint Conference on Automated Reasoning (IJCAR 2016)
- 2015
- Proceedings of the 25th International Conference on Automated Deduction (CADE 2015)
- 2014
- Proceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)
- 2013
- Proceedings of the 24th International Conference on Automated Deduction (CADE 2013)
- 2012
- Proceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)
- 2011
- Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011)
- 2010
- Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
- 2009
- Proceedings of the 22nd International Conference on Automated Deduction (CADE 2009)
- 2008
- Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)
- 2007
- Proceedings of the 21st International Conference on Automated Deduction (CADE 2007)
- 2006
- Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
- 2005
- Proceedings of the 20th International Conference on Automated Deduction (CADE 2005)
- 2004
- Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
- 2003
- Proceedings of the 19th International Conference on Automated Deduction (CADE 2003)
- 2002
- Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)
- 2001
- Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)
- 2000
- Proceedings of the 17th International Conference on Automated Deduction (CADE 2000)
- 1999
- Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)
- 1998
- Proceedings of the 15th International Conference on Automated Deduction (CADE 1998)
- 1997
- Proceedings of the 14th International Conference on Automated Deduction (CADE 1997)
- 1996
- Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)
- 1994
- Proceedings of the 12th International Conference on Automated Deduction (CADE 1994)
- 1992
- Proceedings of the 11th International Conference on Automated Deduction (CADE 1992)
- 1990
- Proceedings of the 10th International Conference on Automated Deduction (CADE 1990)
- 1988
- Proceedings of the Ninth International Conference on Automated Deduction (CADE 1988)
- 1986
- Proceedings of the Eighth International Conference on Automated Deduction (CADE 1986)
- 1984
- Proceedings of the Seventh International Conference on Automated Deduction (CADE 1984)
- 1982
- Proceedings of the Sixth International Conference on Automated Deduction (CADE 1982)
- 1980
- Proceedings of the Fifth International Conference on Automated Deduction (CADE 1980)
1 × Austria
1 × Canada
1 × Denmark
1 × Estonia
2 × France
3 × Germany
1 × Ireland
2 × Italy
1 × Poland
9 × USA
2 × United Kingdom
301 ×#proving
200 ×#logic
155 ×#theorem proving
145 ×#named
114 ×#automation
71 ×#reasoning
58 ×#deduction
54 ×#unification
53 ×#using
48 ×#higher-order
Vocabulary: 1521 words
1444 papers in 32 issues:
- 2019
- Proceddings of the 27th International Conference on Automated Deduction (CADE 2019)
- 2018
- Proceedings of the Ninth International Joint Conference on Automated Reasoning (IJCAR 2018)
- 2017
- Proceedings of the 26th International Conference on Automated Deduction (CADE 2017)
- 2016
- Proceedings of the Eighth International Joint Conference on Automated Reasoning (IJCAR 2016)
- 2015
- Proceedings of the 25th International Conference on Automated Deduction (CADE 2015)
- 2014
- Proceedings of the Seventh International Joint Conference on Automated Reasoning (IJCAR 2014)
- 2013
- Proceedings of the 24th International Conference on Automated Deduction (CADE 2013)
- 2012
- Proceedings of the Sixth International Joint Conference on Automated Reasoning (IJCAR 2012)
- 2011
- Proceedings of the 23rd International Conference on Automated Deduction (CADE 2011)
- 2010
- Proceedings of the Fifth International Joint Conference on Automated Reasoning (IJCAR 2010)
- 2009
- Proceedings of the 22nd International Conference on Automated Deduction (CADE 2009)
- 2008
- Proceedings of the Fourth International Joint Conference on Automated Reasoning (IJCAR 2008)
- 2007
- Proceedings of the 21st International Conference on Automated Deduction (CADE 2007)
- 2006
- Proceedings of the Third International Joint Conference on Automated Reasoning (IJCAR 2006)
- 2005
- Proceedings of the 20th International Conference on Automated Deduction (CADE 2005)
- 2004
- Proceedings of the Second International Joint Conference on Automated Reasoning (IJCAR 2004)
- 2003
- Proceedings of the 19th International Conference on Automated Deduction (CADE 2003)
- 2002
- Proceedings of the 18th International Conference on Automated Deduction (CADE 2002)
- 2001
- Proceedings of the First International Joint Conference on Automated Reasoning (IJCAR 2001)
- 2000
- Proceedings of the 17th International Conference on Automated Deduction (CADE 2000)
- 1999
- Proceedings of the 16th International Conference on Automated Deduction (CADE 1999)
- 1998
- Proceedings of the 15th International Conference on Automated Deduction (CADE 1998)
- 1997
- Proceedings of the 14th International Conference on Automated Deduction (CADE 1997)
- 1996
- Proceedings of the 13th International Conference on Automated Deduction (CADE 1996)
- 1994
- Proceedings of the 12th International Conference on Automated Deduction (CADE 1994)
- 1992
- Proceedings of the 11th International Conference on Automated Deduction (CADE 1992)
- 1990
- Proceedings of the 10th International Conference on Automated Deduction (CADE 1990)
- 1988
- Proceedings of the Ninth International Conference on Automated Deduction (CADE 1988)
- 1986
- Proceedings of the Eighth International Conference on Automated Deduction (CADE 1986)
- 1984
- Proceedings of the Seventh International Conference on Automated Deduction (CADE 1984)
- 1982
- Proceedings of the Sixth International Conference on Automated Deduction (CADE 1982)
- 1980
- Proceedings of the Fifth International Conference on Automated Deduction (CADE 1980)