Pages that link to "Item:Q1845619"
From MaRDI portal
The following pages link to A man-machine theorem-proving system (Q1845619):
Displaying 12 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Man-machine theorem proving in graph theory (Q1104124) (← links)
- MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics (Q1118426) (← links)
- Plane geometry theorem proving using forward chaining (Q1215410) (← links)
- Non-resolution theorem proving (Q1238434) (← links)
- SET-VAR (Q1319383) (← links)
- Automated theorem proving in mathematics. (Q1353941) (← links)
- Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system (Q1364068) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- A pragmatic approach to resolution-based theorem proving (Q3877068) (← links)
- (Q3880307) (← links)
