Pages that link to "Item:Q5464716"
From MaRDI portal
The following pages link to Artificial Intelligence and Symbolic Computation (Q5464716):
Displaying 9 items.
- Automating Event-B invariant proofs by rippling and proof patching (Q667526) (← links)
- Experiments with proof plans for induction (Q809617) (← links)
- An integral theorem prover and the role of proof planning (Q1189730) (← links)
- Proof planning for strategy development (Q1601860) (← links)
- A proof-planning framework with explicit abstractions based on indexed formulas (Q2841241) (← links)
- Failure reasoning in multiple-strategy proof planning (Q2848045) (← links)
- On the comparison of proof planning systems: \(\lambda\)\textsc{clam}, \(\Omega\)\textsc{mega} and \textsc{IsaPlanner} (Q2852043) (← links)
- PLANS AND PLANNING IN MATHEMATICAL PROOFS (Q5027672) (← links)
- Logic Based Program Synthesis and Transformation (Q5713944) (← links)