Switch to: Citations

References in:

An experimental logic based on the fundamental deduction principle

Frank M. Brown

Artificial Intelligence 30 (2):117-263 (1986)

Add references

You must login to add references.

Doing arithmetic without diagrams.F. Malloy Brown - 1977 - Artificial Intelligence 8 (2):175-200.details Download Export citation Bookmark 4 citations
Non-resolution theorem proving.W. W. Bledsoe - 1977 - Artificial Intelligence 9 (1):1-35.details Download Export citation Bookmark 41 citations
(1 other version)An improved proof procedure.Dag Prawitz - 1960 - Theoria 26 (2):102-139.details Download Export citation Bookmark 18 citations
Inductive reasoning on recursive equations.Frank Malloy Brown & Sten-Åke Tärnlund - 1979 - Artificial Intelligence 12 (3):207-229.details Download Export citation Bookmark 2 citations
An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning.Frank Malloy Brown - 1980 - Artificial Intelligence 14 (3):221-242.details Download Export citation Bookmark 1 citation
Towards the automation of set theory and its logic.Frank Malloy Brown - 1978 - Artificial Intelligence 10 (3):281-316.details Download Export citation Bookmark 8 citations

1