J. Alan Robinson

male, 79 years old
Journal editor, Syracuse University, automated reasoning, Formal methods, expatriate in the United States, logic programming…theoremprover, automated theorem proving
J. Alan Robinson is a philosopher (by training), mathematician and computer scientist. He is University Professor Emeritus at Syracuse University,...