Opening book details…
Can I read Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) on EtoBox?
Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) by Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.) is a computer science book available to read on EtoBox.
What is Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science) about?
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.<br>The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection ta
Who reads Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings (Lecture Notes in Computer Science)?
It is typically read by working professionals who need an authoritative practice reference.
Common subject areas: medicine, law, business, engineering.
- Author
- Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Published
- 1998
- Language
- EN
- ISBN
- 9788354069119
- Category
- computer science
- Subjects
- Mathematics, Engineering, Programming
- Updated
- 2026-03-25
More by Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
Browse all works by Frank Pfenning (auth.), Claude Kirchner, Hélène Kirchner (eds.)
Similar books
- Automated Deduction - CADE-16: 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings (Lecture Notes in Computer Science, 1632) — Harald Ganzinger (auth.) (1999)
- Automated Deduction - Cade-20: 20th International Conference On Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings (lecture Notes In Computer Science) — Gilles Dowek (auth.), Robert Nieuwenhuis (2005)
- Automated Deduction -- CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 -- August 5, 2011, Proceedings (Lecture Notes in Computer Science, 6803) — Koen Claessen (auth.), Nikolaj Bjørner, Viorica Sofronie-Stokkermans (2011)
- Automated Deduction – Cade-22: 22nd International Conference On Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings (lecture Notes In Computer Science) — Martin Rinard (auth.), Renate A. Schmidt (2009)
- Automated Deduction - CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings (Lecture Notes in Computer Science, 2392) — Andreĭ Voronkov (2002)
- Automated Deduction - CADE-19: 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings (Lecture ... / Lecture Notes in Artificial Intelligence) — Edmund M. Clarke (auth.), Franz Baader (2003)