Informatik (14.430 Artikel)

For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated deduction. This volume contains the papers and system descriptions selected for t...

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the Unive...

This volume contains the papers presented at the 19th International Conference on Automated Deduction (CADE-19) held 28 July-2 August 2003 in Miami Beach, Florida, USA. They are divided into the fo...

What Do We Know When We Know That a Theory Is Consistent?.- Reflecting Proofs in First-Order Logic with Equality.- Reasoning in Extensional Type Theory with Equality.- Nominal Techniques in Isabell...

Session 1. Invited Talk: Colin Stirling.- Games, Automata and Matching.- Session 2. Higher-Order Logic.- Formalization of Continuous Probability Distributions.- Compilation as Rewriting in Higher O...

Session 1. Invited Talk.- Integrated Reasoning and Proof Choice Point Selection in the Jahob System - Mechanisms for Program Survival.- Session 2. Combinations and Extensions.- Superposition and Mo...

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

This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wroc?aw, Poland, in July/August 2011. The 28 revised full papers and 7 s...

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together...

Invited Papers.- Automated Theorem Proving in First-Order Logic Modulo: On the Difference between Type Theory and Set Theory.- Higher-Order Modal Logic--A Sketch.- Proving Associative-Commutative T...

On Spatial Constraint Solving Approaches.- A Hybrid Method for Solving Geometric Constraint Problems.- Solving the Birkhoff Interpolation Problem via the Critical Point Method: An Experimental Stud...

This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. Th...

The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is...

Towards an Electronic Geometry Textbook.- Equidecomposable Quadratic Regions.- Automatic Verification of Regular Constructions in Dynamic Geometry Systems.- Recognition of Computationally Construct...

4th International Workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002, Revised Papers