Treffliste - Conference on Automated Deduction - Depotbiblioteket

Hopp til treffliste Hopp til hovedmeny

Vis filter / sortering

8 treff

Sortering

Forsidebilde

5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980

Conference on Automated Deduction
Inngår i serie: Lecture notes in computer science (87)
Bok Engelsk 1980

Ledig 1/1

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

Conference on Automated Deduction
Inngår i serie: Lecture notes in computer science (138)
Bok Språk ikke angitt 1982

Ledig 1/1

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

Ledig 1/1

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

Ledig 1/1

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

Ledig 1/1

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

Ledig 1/1

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

Ledig 1/1

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

Ledig 1/1

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