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
21 Automated Deduction - CADE-17 International Conference on Automated Deduction 2000 Engelska
22-23 Automated deduction-CADE-18 - 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings (flera utgåvor) International Conference on Automated Deduction 2002 : Copenhagen) cop. 2002 Engelska
24 9th International Conference on Automated Deduction, CADE 9 - proceedings International Conference on Automated Deduction 1988) Argonne : cop. 1988 Engelska
25 Proceedings International Conference on Automated Deduction 1986) Oxford : cop. 1986 Engelska
26 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990 - proceedings International Conference on Automated Deduction 1990) Kaiserslautern : cop. 1990 Engelska
27 Automated deduction - CADE-12 - proceedings International Conference on Automated Deduction 1994) Nancy : cop. 1994 Engelska
28 Automated deduction - CADE-14 - proceedings International Conference on Automated Deduction 1997 : Townsville) cop. 1997 Engelska
29-30 Automated deduction - CADE-15 - proceedings (flera utgåvor) International Conference on Automated Deduction 1998) Lindau : cop. 1998 Engelska
31-32 Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings (flera utgåvor) International Conference on Automated Deduction 1999 : Trento) cop. 1999 Engelska
33 Automated deduction - CADE-17, 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings International Conference on Automated Deduction 2000) Pittsburg : 2000 Engelska
34 Proceedings International Conference on Automated Deduction 1984) Napa : 1984 Engelska
35 Automated deduction - CADE-11 : proceedings : Saratoga Springs, NY, USA, June 15-18, 1992 International Conference on Automated Deduction 1992) Saratoga Springs : cop. 1992 Engelska
36 Automated deduction - CADE-13 International Conference on Automated Deduction 1996) New Brunswick : cop. 1996 Engelska
37 Automated deduction, CADE-19. - 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings Fla.) International Conference on Automated Deduction 2003 : Miami Beach 2003 Engelska
38 A Theory of Cartesian Arrays (with Applications in Quantum Circuit Verification) ITALY Rome Faculty of Civil and Industrial Engineering Sapienza University of Rome 2023 JUL 01-04 29th International Conference on Automated Deduction (CADE) Yu-Fang Chen 2023 Engelska

Förra sidan 1 2

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.