The following pages link to Christoph Walther (Q1060858):
Displaying 5 items.
- Fermat, Euler, Wilson -- three case studies in number theory (Q1707601) (← links)
- On terminating lemma speculations. (Q1854370) (← links)
- Proving theorems by reuse (Q1978233) (← links)
- Context Dependent Procedures and Computed Types in ✓eriFun (Q2866336) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705933) (← links)