| 4421 |
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 |
| 4422 |
"Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings"
|
International Conference on Automated Deduction
|
2000 |
Okänt |
| 4423 |
"Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings"
|
International Conference on Automated Deduction
|
2002 |
Okänt |
| 4424 |
"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
|
2003 |
Okänt |
| 4425 |
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 |
| 4426 |
"Automated deduction -- CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings"
|
International Conference on Automated Deduction
|
2007 |
Okänt |
| 4427 |
"Automated Deduction - CADE-22: 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings"
|
International Conference on Automated Deduction
|
2009 |
Okänt |
| 4428 |
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 |
| 4429 |
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 |
| 4430 |
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 |
| 4431 |
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 |
| 4432 |
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 |
| 4433 |
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 |
| 4434 |
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 |
| 4435 |
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 |
| 4436 |
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 |
| 4437 |
Automated people movers and transit systems 2013 : half a century of automated transit -- past, present, and future : proceedings of the Fourteenth International Conference, April 21-24, 2013, Phoenix, Arizona / sponsored by the Transportation & Development Institute (T&DI) of the American Society of Civil Engineers edited by William H. Leder, P.E., William J. Sproule, Ph.D, P.E
|
Ariz.) International Conference on Automated People Movers Phoenix
|
uuuu-uuuu |
Okänt |
| 4438-4439 |
Proceedings Third International Conference on Automated Production of Cross Media Content for Multi-channel Distribution : AXMEDIS 2007 : Barcelona, Spain 28-30 November 2007
(flera utgåvor)
|
Spain) 2007 : (3rd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution Barcelona
|
uuuu-uuuu |
Okänt |
| 4440 |
Second International Conference on Automated Production of Cross Media Content for Multi-channel Distribution : AXMEDIS 2006 : Leeds, UK, 13-15 December 2006 : proceedings
|
UK) 2006 : (2nd International Conference on Automated Production of Cross Media Content for Multi-channel Distribution Leeds
|
uuuu-uuuu |
Okänt |