The following pages link to (Q3216155):
Displaying 15 items.
- A decision algorithm for linear sentences on a PFM (Q685065) (← links)
- Automated inferencing (Q1070835) (← links)
- A case study in automated theorem proving: Finding sages in combinatory logic (Q1098333) (← links)
- Errata to ``75 problems for testing automatic theorem provers'' (Q1101243) (← links)
- A parallel approach for theorem proving in propositional logic (Q1102766) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A learning procedure for mathematics. (Q1353940) (← links)
- A constant time algorithm for theorem proving in propositional logic on reconfigurable meshes (Q1357089) (← links)
- Evaluating general purpose automated theorem proving systems (Q1606324) (← links)
- An automated prover for Zermelo-Fraenkel set theory in Theorema (Q2457343) (← links)
- Algorithmic State Machine Design and Automatic Theorem Proving: Two Dual Approaches to the Same Activity (Q3745319) (← links)
- (Q4489486) (← links)
- Increasing the efficiency of automated theorem proving (Q4835513) (← links)
- Teaching Automated Theorem Proving by Example: PyRes 1.2 (Q5048999) (← links)
- An automatic proof of Gödel's incompleteness theorem (Q5894725) (← links)
