Dale Miller
E102730
UNEXPLORED
Dale Miller is a prominent logician and computer scientist known for his influential work in proof theory, logic programming, and automated reasoning.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.