The following pages link to Toward Mechanical Mathematics (Q3275832):
Displayed 19 items.
- Supporting the formal verification of mathematical texts (Q865656) (← links)
- A decidable fragment of predicate calculus (Q1066880) (← links)
- On the role of unification in mechanical theorem proving (Q1225469) (← links)
- Doing arithmetic without diagrams (Q1238641) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)
- The problem of reasoning by case analysis (Q1319394) (← links)
- The relative complexity of resolution and cut-free Gentzen systems (Q1353988) (← links)
- A method for the synthesis of deducibility conditions for Horn and some other formulas (Q1847304) (← links)
- lean\(T^ AP\): Lean tableau-based deduction (Q1904400) (← links)
- Knowledge-based proof planning (Q1978469) (← links)
- An approach to a systematic theorem proving procedure in first-order logic (Q2264551) (← links)
- Beweisalgorithmen für die Prädikatenlogik (Q2558006) (← links)
- Breadth-first search: some surprising results (Q2559927) (← links)
- Solution lifting method for handling meta-variables in TH\(\exists\)OREM\(\forall\) (Q2577589) (← links)
- The reduction method. I: (Q2581713) (← links)
- Logical approach to control theory and applications (Q4374110) (← links)
- In Memoriam: Hao Wang 1921–1995 (Q4879896) (← links)
- On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538) (← links)
- Heuristic programming: A survey (Q5649437) (← links)