Pages that link to "Item:Q5747779"
From MaRDI portal
The following pages link to Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development (Q5747779):
Displayed 4 items.
- Interpolation systems for ground proofs in automated deduction: a survey (Q287275) (← links)
- Semantically-guided goal-sensitive reasoning: model representation (Q287333) (← links)
- Blocking and other enhancements for bottom-up model generation methods (Q2303239) (← links)
- On interpolation in automated theorem proving (Q2352502) (← links)