John Alan Robinson

Most Influential Person Now

British-American mathematician

John Alan Robinson's Academic­ Rankings

John Alan Robinson
World Rank
Historical Rank
mathematics Degrees
Download Badge
  • Mathematics

Why Is John Alan Robinson Influential?

(Suggest an Edit or Addition)

According to Wikipedia, John Alan Robinson was a philosopher, mathematician, and computer scientist. He was a professor emeritus at Syracuse University. Alan Robinson's major contribution is to the foundations of automated theorem proving. His unification algorithm eliminated one source of combinatorial explosion in resolution provers; it also prepared the ground for the logic programming paradigm, in particular for the Prolog language. Robinson received the 1996 Herbrand Award for Distinguished Contributions to Automated Reasoning.

Other Resources About John Alan Robinson

What Schools Are Affiliated With John Alan Robinson?

John Alan Robinson is affiliated with the following schools: