This VIAF Cluster has been deleted. It is no longer part of VIAF.
Fitting, Melvin, 1942-. | First-order logic and automated theorem proving
VIAF ID: 314257765 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314257765
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Fitting, Melvin,