Melvin Fitting
E118179
UNEXPLORED
Melvin Fitting is a logician and computer scientist known for his influential work in automated theorem proving, modal logic, and the foundations of logic in computer science.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.