paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Contrôler dans Paprika
Contrôle Paprika
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 085973653Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/085973653/idCopier cet URI
Notice de type Personne

Point d'accès autorisé

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

Sur le web

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)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/24850803
Identifiant Wikidata : Q5238604
Identifiant ZBMath : plaisted.david-alan
Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb14601549q
Identifiant ISNI : 0000000024524424

Source

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

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