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
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