Notice de personne
- Notice
Plaisted, David A. forme internationale
Pays :
États-Unis
Langue(s) :
anglais
Sexe :
Masculin
Responsabilité(s) exercée(s) sur les documents :
Auteur
Naissance :
19..
Informaticien. - En poste : Department of computer science, University of North Carolina
(en 1997).
Source(s) :
The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu, 1997
The efficiency of theorem proving strategies : a comparative and asymptotic analysis / David A. Plaisted, Yunshan Zhu, 1997
Identifiant international de l'autorité :
ISNI 0000 0000 2452 4424
, cf.
http://isni.org/isni/0000000024524424
Identifiant de la notice : ark:/12148/cb14601549q
Notice n° :
FRBNF14601549
Création :
05/01/31
