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

Point d'accès autorisé

Loveland, Donald W.

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
Genre : Masculin

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/28419621
Identifiant Wikidata : Q5295258
Identifiant ZBMath : loveland.donald-w
Identifiant ISNI : 0000000354278772

Source

Automated theorem proving / Donald W. Loveland, 1978

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