Pages that link to "Item:Q2270573"
From MaRDI portal
The following pages link to Automated deduction -- CADE-22. 22nd international conference on automated deduction, Montreal, Canada, August 2--7, 2009. Proceedings (Q2270573):
Displaying 13 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)
- Graph sequence learning for premise selection (Q6650565) (← links)
