The following pages link to (Q4941841):
Displaying 13 items.
- Enhancing unsatisfiable cores for LTL with information on temporal relevance (Q507378) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Automated conjecturing. I: Fajtlowicz's Dalmatian heuristic revisited (Q899436) (← links)
- Automated deduction with associative-commutative operators (Q1340508) (← links)
- Automated deduction. A basis for applications. Vol. 1: Foundations, calculi and methods (Q1581358) (← links)
- Automated deduction. A basis for applications. Vol. 2: Systems and implementation techniques (Q1581359) (← links)
- (Q3486874) (← links)
- SOLAR: An automated deduction system for consequence finding (Q3568229) (← links)
- (Q3738607) (← links)
- A Prolog-based expert system for modeling with partial differential equations (Q3798305) (← links)
- (Q4539642) (← links)
- Automated natural deduction prover and experiments (Q4610323) (← links)
- Towards automated deduction in cP systems (Q6154793) (← links)