paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 085973653Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Plaisted, David A. (19..-....)

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 : Etats-Unis d'Amérique
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Informaticien. En poste : Department of computer science, University of North Carolina (en 1997)

Source

The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu, 1997

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/24850803
Identifiant Wikidata : Q5238604
Identifiant ZBMath : plaisted.david-alan
Identifiant ISNI : 0000000024524424

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