The following pages link to (Q3998281):
Displaying 14 items.
- An order-sorted resolution in theory and practice (Q1390960) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- Autarkic computations in formal proofs (Q1610674) (← links)
- An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343) (← links)
- Automated theorem proving. Theory and practice. With CD-ROM (Q2701741) (← links)
- (Q3006508) (← links)
- (Q3484382) (← links)
- (Q4530471) (← links)
- (Q4816538) (← links)
- Increasing the efficiency of automated theorem proving (Q4835513) (← links)
- Automating Inductive Proofs Using Theory Exploration (Q4928454) (← links)
- Generic induction proofs (Q5881185) (← links)
- A calculus for conditional inductive theorem proving (Q5881199) (← links)
- A completeness proof for a regular predicate logic with undefined truth value (Q6100982) (← links)