Searching for "Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer." – sorted by Relevance.
1 documents found, showing 1 through 1.
-
Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer
- …Cooperation Between Top-Down and Bottom-Up Theorem Provers by Subgoal Clause Transfer Dirk Fuchs…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 1.
