14 treff

International Conference on Automated Deduction
Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2000
Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2005
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
Bok Engelsk 2003
Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
International Conference on Automated Deduction
Bok Engelsk 2002
Automated deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1999
Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1998
Automated deduction - CADE-14 : 14th International Conference on Automated Deduction, Townsville, North Queensland, Australia, July 13-17, 1997 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1997
Automated deduction - Cade-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1996
Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1994
Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1992
7th International Conference on Automated Deduction : Napa, California, USA, May 14-16, 1984 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1984
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1990
9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988 : proceedings
International Conference on Automated Deduction
Bok Engelsk 1988
8th International Conference on Automated Deduction, Oxford, England, July 27-August 1, 1986 : proceedings
International Conference on Automated Deduction
Bok Språk ikke angitt 1986