1 |
Automated Deduction - CADE-11
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
2 |
Automated Deduction - CADE-12
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
3 |
Automated Deduction - Cade-13
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
4 |
Automated Deduction - CADE-14
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
5 |
Automated deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009 : proceedings / Renate A. Schmidt
|
Québec) International Conference on Automated Deduction Montréal
|
uuuu-uuuu |
Okänt |
6 |
Automated Deduction - CADE-19 electronic resource : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings / edited by Franz Baader
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
7 |
Automated deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings / Frank Pfenning
|
Germany) International Conference on Automated Deduction Bremen
|
uuuu-uuuu |
Okänt |
8 |
Automated Deduction -- CADE-23 electronic resource : 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings / edited by Nikolaj Bjørner, Viorica Sofronie-Stokkermans
|
Poland) 2011 : (23rd International Conference on Automated Deduction Wrocław
|
uuuu-uuuu |
Okänt |
9 |
Automated Deduction - CADE-18 electronic resource : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings / edited by Andrei Voronkov
|
Denmark) 2002 : (18th International Conference on Automated Deduction Copenhagen
|
uuuu-uuuu |
Okänt |
10 |
Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, proceedings / Harald Ganzinger (Ed.)
|
Italy) 1999 : (16th International Conference on Automated Deduction Trento
|
uuuu-uuuu |
Okänt |
11 |
Automated Deduction -- CADE-24 electronic resource : 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina
|
N.Y.) 2013 : (24th International Conference on Automated Deduction Lake Placid
|
uuuu-uuuu |
Okänt |
12 |
7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984 : proceedings / edited by R. E. Shostak
|
California) 1984 : (7th International Conference on Automated Deduction Napa
|
uuuu-uuuu |
Okänt |
13 |
Automated Deduction - CADE-17 electronic resource : 17th International Conference on Automated Deduction Pittsburgh, PA, USA, June 17-20, 2000 Proceedings / edited by David McAllester
|
Pa.) 2000 : (17th International Conference on Automated Deduction Pittsburgh
|
uuuu-uuuu |
Okänt |
14 |
Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings / Claude Kirchner, Hélène Kirchner, eds
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
15 |
Automated deduction : CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings / Robert Nieuwenhuis (ed.)
|
Estonia) 2005 : (20th International Conference on Automated Deduction Tallinn
|
uuuu-uuuu |
Okänt |
16 |
Automated deduction, CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings / William McCune, editor
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
17 |
Automated deduction, CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings / M.A. McRobbie, J.K. Slaney, eds
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
18 |
Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings / D. Kapur, ed
|
International Conference on Automated Deduction
|
uuuu-uuuu |
Okänt |
19 |
Automated Deduction - CADE-19 - 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings
|
International Conference on Automated Deduction International Conference on Automated Deduction
|
2003 |
Engelska |
20 |
7th International Conference on Automated Deduction
|
International Conference on Automated Deduction
|
1984 |
Engelska |