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.