Concepedia

Frank M. Brown

FM

3

Publications

61

Citations

3

H-Index

1977

Active since

Affiliations

University of Edinburgh(Current)

Frank M. Brown is an author at University of Edinburgh specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsComputer ScienceEducationDiscrete MathematicsMathematics Teaching

Publications per year

1977–1986

3

Publications

3

Towards the automation of set theory and its logic

Frank M. Brown · Artificial Intelligence · 1978 · 32 citations

Applied Logic, Engineering, Automated Reasoning +4

An experimental logic based on the fundamental deduction principle

Frank M. Brown · Artificial Intelligence · 1986 · 18 citations

Applied Logic, Non-classical Logic, Engineering +5

Doing arithmetic without diagrams

Frank M. Brown · Artificial Intelligence · 1977 · 11 citations

Symbolic Manipulation, Mathematics Education, Diagrammatic Reasoning +4

Rows per page

1–3 of 3