The following pages link to SATCHMOREBID (Q18711):
Displaying 5 items.
- A relevance restriction strategy for automated deduction (Q814429) (← links)
- Duality for goal-driven query processing in disjunctive deductive databases (Q1598444) (← links)
- Ordered semantic hyper tableaux (Q1869611) (← links)
- SATCHMORE: SATCHMO with RElevancy (Q1891262) (← links)
- R-SATCHMO: Refinements on I-SATCHMO (Q4820462) (← links)