paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 033984883Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Paulson, Lawrence C. (1955-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : Anglais
Pays : Royaume-Uni
Date de naissance :    1955

Notes

Note publique d'information : 
Informaticien. En poste au Computer laboratory, University of Cambridge, GB (en 1994)

Note publique d'information : 
Professeur à l'Université de Cambridge (en 2019)

Source

Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contrib. by Tobias Nipkow, 1994

LCNA (CD OCLC), 1995-03. BLNA, 1994-08

Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle / Damien Rouhling ; sous la direction de Yves Bertot et Cyril Cohen. Thèse de doctorat : Informatique : Côte d'Azur : 2019

Information trouvée : rapporteur de thèse, membre du jury

Autres identifiants

Identifiant BNF : FRBNF12478604X
Identifiant ORCID : 0000-0003-0288-4279
Identifiant WIKIDATA : Q6504468
Identifiant VIAF : http://viaf.org/viaf/91459151
Identifiant ISNI : 0000000115777793

Utilisation dans Rameau

Le point d'accès peut être employé dans un point d'accès sujet
Le point d'accès ne peut s'employer qu'en élément initial

Equivalent dans un autre référentiel

... Références liées : ...