International Conference on Automated Deduction
-
2011
CADE 2011
- 31 July - 5 August
- Wroclaw, Poland
-
Automated Deduction – CADE-23
38 Papers
1 Volume
-
2003
CADE 2003
- 28 July - 2 August
- Miami Beach, FL, USA
-
Automated Deduction – CADE-19
41 Papers
1 Volume
-
1997
CADE 1997
- 13-17 July
- Townsville, QLD, Australia
-
Automated Deduction—CADE-14
45 Papers
1 Volume
-
1996
CADE 1996
- 30 July - 3 August
- New Brunswick, NJ, USA
-
Automated Deduction — Cade-13
63 Papers
1 Volume
-
1992
CADE 1992
- 15-18 June
- Saratoga Springs, NY, USA
-
Automated Deduction—CADE-11
75 Papers
1 Volume
-
1990
CADE 1990
- 24-27 July
- Kaiserslautern, Germany
-
10th International Conference on Automated Deduction
74 Papers
1 Volume
-
1988
CADE 1988
- 23-26 May
- Argonne, IL, USA
-
9th International Conference on Automated Deduction
73 Papers
1 Volume
-
1986
CADE 1986
- 27 July - 1 August
- Oxford, United Kingdom
-
8th International Conference on Automated Deduction
74 Papers
1 Volume
-
1984
CADE 1984
- 14-16 May
- Napa, CA, USA
-
7th International Conference on Automated Deduction
29 Papers
1 Volume
-
1980
CADE 1980
- 8-11 July
- Les Arcs, France
-
5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
28 Papers
1 Volume