Prolegomena to a Theory of Mechanized Formal Reasoning

Sorry, there's nothing here.

Cite this paper

@article{Weyhrauch1980ProlegomenaTA, title={Prolegomena to a Theory of Mechanized Formal Reasoning}, author={Richard W. Weyhrauch}, journal={Artif. Intell.}, year={1980}, volume={13}, pages={133-170} }