Notice de personne
- Notice
Mackie, Ian (1968-....) forme internationale
Pays :
Grande-Bretagne
Langue(s) :
anglais
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
1968-04-23
Mathématicien. - Enseigne à l'École polytechnique, Palaiseau, Essonne (en 1997). -
Né à Hemsworth, GB.
Source(s) :
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie, 1997
BLNA, 1997-12 : Mackie, I. (Ian) . - Bibliogr., GB (CD), 1998-12 . - Internet, http://ultralix.polytechnique.fr, 1999-03-12 . - LCNA (en ligne - Internet), 1999-03-10
Proof theory and automated deduction / by Jean Goubault-Larrecq and Ian Mackie, 1997
BLNA, 1997-12 : Mackie, I. (Ian) . - Bibliogr., GB (CD), 1998-12 . - Internet, http://ultralix.polytechnique.fr, 1999-03-12 . - LCNA (en ligne - Internet), 1999-03-10
Consultée(s) en vain :
World dir. of math., 1994 . - WW in sci. in Europe, 1995
World dir. of math., 1994 . - WW in sci. in Europe, 1995
Identifiant international de l'autorité :
ISNI 0000 0001 1557 8516
, cf.
http://isni.org/isni/0000000115578516
Identifiant de la notice : ark:/12148/cb13520597f
Notice n° :
FRBNF13520597
Création :
99/03/10
Mise à jour :
99/03/25