Georges Gonthier (Q5546810)
Jump to navigation
Jump to search
Canadian computer scientist and one of the leading practitioners in formal mathematics
Language | Label | Description | Also known as |
---|---|---|---|
English | Georges Gonthier |
Canadian computer scientist and one of the leading practitioners in formal mathematics |
Statements
1 reference
1 reference
18 April 1962
1 reference
1 reference
3 references
24 December 2019
2 references
1 reference
1 reference
Identifiers
4 references
19 November 2017
24 December 2019
3 references
24 December 2019
2 references
1 reference
Sitelinks
Wikipedia(4 entries)
- arzwiki جورج جونثير
- enwiki Georges Gonthier
- frwiki Georges Gonthier
- ptwiki Georges Gonthier