Notice de personne

  • Notice
Paulson, Lawrence C. (1955-....) forme internationale

Pays :  Grande-Bretagne
Langue(s) :  anglais
Responsabilité(s) exercée(s) sur les documents :  Auteur
Naissance :  1955-09-20

Informaticien. - En poste au Computer laboratory, University of Cambridge, GB (en 1994).


Source(s) : 
Isabelle : a generic theorem prover / Lawrence C. Paulson ; with contrib. by Tobias Nipkow, 1994
LCNA (CD OCLC), 1995-03 . - BLNA, 1994-08



Identifiant international de l'autorité :  ISNI 0000 0001 1577 7793 , cf. http://isni.org/isni/0000000115777793
Identifiant de la notice  : ark:/12148/cb12478604j
Notice n° :  FRBNF12478604

Création :  95/08/23


Notices bibliographiques liées

Voir les notices liées en tant que : Voir toutes les notices liées (3)