8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings | EKB DL

Home Book8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings

8th International Conference on Automated Deduction Oxford, England, July 27- August 1, 1986. Proceedings

Keywords

MathematicsLogicComputersComputer ScienceArtificial IntelligenceHistory & PhilosophyDiscrete Mathematics

1986Book

Author(s)Jörg H. Siekmann

PublisherSpringer Berlin Heidelberg

ISBN9783540167808

LanguageEnglish

6th Conference on Automated Deduction: New York, USA, June 7-9, 1982 (Lecture Notes in Computer Science)

Automated Deduction - CADE-15 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Automated Deduction - Cade-13 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30 - August 3, 1996. Proceedings

Automated Deduction, Cade-12. 12th International Conference on Automated Deduction, Nancy, France, June 26 - July 1, 1994. Proceedings.

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

Higher Order Logic Theorem Proving and Its Applications 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings

10th International Conference on Automated Deduction Kaiserslautern, FRG, July 24-27, 1990. Proceedings

Automated Deduction - CADE-25 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

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