Джон Алан Робинсон
Джон Алан Робинсон Вклад в автоматизированное доказательство теорем Создал основы автоматизированного доказательства теорем Разработал алгоритм унификации, устраняющий комбинаторный взрыв в […]
1930 births, 1930 рождений, 2016 deaths, 20th-century American mathematicians, 20th-century British mathematicians, 21st-century American mathematicians, 21st-century British mathematicians, Alumni of the University of Cambridge, American academic journal editors, American computer scientists, British computer scientists, British expatriates in the United States, Fellows of the Association for the Advancement of Artificial Intelligence, Formal methods people, Mathematicians from New York (state), Princeton University alumni, Rice University faculty, Syracuse University faculty, University of Oregon alumni, Американские математики XX века, Американские математики XXI века, Американские ученые-компьютерщики, Британские математики XX века, Британские математики XXI века, Британские ученые-компьютерщики, Британские эмигранты в США, Выпускники Кембриджского университета, Выпускники Принстонского университета, Выпускники Университета Орегона, Математики из Нью-Йорка (штат), Преподаватели Сиракузского университета, Преподаватели Университета Райса, Редакторы американских академических журналов, смертей в 2016 г., Формальные методы люди, Члены Ассоциации по развитию искусственного интеллекта
