Canadian computer scientist and one of the leading practitioners in formal mathematics English
edit
Language Label Description Also known as
British English
No label defined
No description defined

    Statements

    0 references
    1 reference
    Q54919 (Deleted Item)
    262324638
    24 December 2019
    Q15921764 (Deleted Item)
    0 references
    Q82594 (Deleted Item)
    18 April 1962
    1 reference
    Q19938912 (Deleted Item)
    12463626f
    24 December 2019
    georges-gonthier_65700
    0 references
    0000 0003 8169 0324
    4 references
    Q15222191 (Deleted Item)
    12463626f
    19 November 2017
    Q54919 (Deleted Item)
    262324638
    24 December 2019
    Q47757534 (Deleted Item)
    033817391
    24 December 2019
    Q19938912 (Deleted Item)
    12463626f
    24 December 2019
    033817391
    2 references
    Q54919 (Deleted Item)
    262324638
    7 October 2018
    Q54919 (Deleted Item)
    262324638
    24 December 2019
    12463626f
    3 references
    Q54919 (Deleted Item)
    262324638
    7 October 2018
    Q54919 (Deleted Item)
    262324638
    24 December 2019
    Q47757534 (Deleted Item)
    033817391
    24 December 2019
    gonthier.georges
    0 references
    3 references
    Q54919 (Deleted Item)
    262324638
    24 December 2019
    Q47757534 (Deleted Item)
    033817391
    24 December 2019
    Q19938912 (Deleted Item)
    12463626f
    24 December 2019
    Q1166618 (Deleted Item)
    1 reference
    40/3912
    1 reference
    Q667918 (Deleted Item)
    0 references
    Q1144725 (Deleted Item)
    0 references
    viaf-262324638
    1 reference
    262324638
    /m/0r4y08b
    0 references
    Q3123761 (Deleted Item)
    2 references
    61d42893146c465c7bbac85f
    line(s) English
    283834