Frank M. Brown. The Role of Extensible Deductive Systems in Mathematical Reasoning. In AISB (ECAI). pages 74-83, 1976.
@inproceedings{Brown76:1,
title = {The Role of Extensible Deductive Systems in Mathematical Reasoning},
author = {Frank M. Brown},
year = {1976},
researchr = {https://researchr.org/publication/Brown76%3A1},
cites = {0},
citedby = {0},
pages = {74-83},
booktitle = {AISB (ECAI)},
}