Treffliste - International Conference on Automated Deduction - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

Biblioteket

6 treff

Sortering

Forsidebilde

7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings

International Conference on Automated Deduction
Inngår i serie: Lecture notes in computer science (170)
Bok Engelsk 1984

Forsidebilde

Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings

International Conference on Automated Deduction
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (3632)
Bok Engelsk c2005

Forsidebilde

Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

International Conference on Automated Deduction
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1632)
Bok Engelsk c1999

Forsidebilde

Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings

International Conference on Automated Deduction
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (1831)
Bok Engelsk c2000

Forsidebilde

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

International Conference on Automated Deduction
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2392)
Bok Engelsk c2002

Forsidebilde

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
Inngår i serier: Lecture notes in artificial intelligence, Lecture notes in computer science (2741)
Bok Engelsk c2003

Ikke det du leter etter?

Søk og bestill fra andre bibliotek: Biblioteksøk