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. — Wikipédia (CC BY-SA)
Nature : être humain
- décès
- août 2016
- naissance
- mars 1930
- genre
- masculin
- lieu de décès
- Portland
- lieu de naissance
- Halifax
- nationalité
- Royaume-Uni
- occupation
- mathématicien ou mathématicienne
Catégories : ingénieurs · journalistes · mathématiciens · personnes · scientifiques
Mots du lexique : John nom propre, Alan nom propre, Robinson nom propre