The following pages link to (Q3750137):
Displaying 5 items.
- Refinements to depth-first iterative-deepening search in automatic theorem proving (Q582116) (← links)
- Experiments with discrimination-tree indexing and path indexing for term retrieval (Q688554) (← links)
- A Prolog technology theorem prover: Implementation by an extended Prolog compiler (Q1114446) (← links)
- (Q4530471) (← links)
- Increasing the efficiency of automated theorem proving (Q4835513) (← links)