Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: International Conference on Automated Deduction 38 träffar

Titel Författare År Språk
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

1 2 Nästa sida

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.