Pages that link to "Item:Q2270573"

The following pages link to Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings (Q2270573):

Displayed 12 items.

• Semantically-guided goal-sensitive reasoning: model representation (Q287333) ‎ (← links)
• Model evolution with equality -- revised and implemented (Q429586) ‎ (← links)
• Neural precedence recommender (Q2055885) ‎ (← links)
• Set of support, demodulation, paramodulation: a historical perspective (Q2102923) ‎ (← links)
• A posthumous contribution by Larry Wos: excerpts from an unpublished column (Q2102925) ‎ (← links)
• SPASS-AR: a first-order theorem prover based on approximation-refinement into the monadic shallow linear fragment (Q2303255) ‎ (← links)
• On interpolation in automated theorem proving (Q2352502) ‎ (← links)
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) ‎ (← links)
• Pattern-based and composition-driven automatic generation of logical specifications for workflow-oriented software models (Q2423750) ‎ (← links)
• From informal to formal proofs in Euclidean geometry (Q2631958) ‎ (← links)
• Modular Termination and Combinability for Superposition Modulo Counter Arithmetic (Q3172895) ‎ (← links)
• Complexity of translations from resolution to sequent calculus (Q5236549) ‎ (← links)