The following pages link to Frank Malloy Brown (Q1136244):
Displayed 5 items.
- Inductive reasoning on recursive equations (Q1136246) (← links)
- An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning (Q1146017) (← links)
- Item:Q1136244 (redirect page) (← links)
- Doing arithmetic without diagrams (Q1238641) (← links)
- Towards the automation of set theory and its logic (Q1253108) (← links)