Pages that link to "Item:Q3902544"
From MaRDI portal
The following pages link to Deduction Plans: A Basis for Intelligent Backtracking (Q3902544):
Displaying 4 items.
- Learning in order to avoid search in logic programming (Q805265) (← links)
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- Automatic theorem proving. II (Q3793764) (← links)