Alan Robinson
E238812
UNEXPLORED
Alan Robinson is a British computer scientist and logician best known for pioneering automated theorem proving through his development of the resolution principle and unification algorithm.
Jump to:
Referenced by
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.