John Alan Robinson
personne
informaticien britannique
John Alan Robinson (né le 9 mars 1930 à Halifax (Royaume-Uni), et mort le 5 août 2016 à Portland (Maine)) est un philosophe, mathématicien et informaticien. Il termine sa carrière comme professeur émérite à l'université de Syracuse. La contribution majeure d'Alan Robinson est aux fondements de la démonstration automatique de théorèmes.
Liens externes
Lien Wikipedia : https://fr.wikipedia.org/wiki/John_Alan_Robinson
Lien Wikidata : https://www.wikidata.org/wiki/Q327981
Propriétés
- date_deces
- +2016-08-0
- date_naissance
- +1930-03-0
- genre_personne
- masculin
- lieu_deces
- {"qid": "Q49201", "label": "Portland"}
- lieu_naissance
- {"qid": "Q826561", "label": "Halifax"}
- nationalite
- Royaume-Uni
- occupation
- mathématicien ou mathématicienne
- p106_all
- mathématicien ou mathématicienne, philosophe, ingénieur, informaticien ou informaticienne