The following pages link to (Q4242056):
Displaying 4 items.
- Cooperation of background reasoners in theory reasoning by residue sharing (Q1810855) (← links)
- Cooperation in heterogeneous theorem prover networks (Diss., Univ. Kaiserslautern) (Q2726294) (← links)
- Relevancy-based use of lemmas in connection tableau calculi (Diss., TU München, 1999) (Q2726303) (← links)
- (Q4217955) (← links)