data.idref.fr data.idref.fr Documentation Documentation
Identifiant IdRef : 033984883
Notice de type Personne

Point d'accès autorisé

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

Information

Langue d'expression : Anglais

Source

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

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

Autres identifiants

Identifiant BNF : FRBNF12478604X
Identifiant ORCID : 0000-0003-0288-4279
Identifiant WIKIDATA : Q6504468
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

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