Identifiant pérenne de la notice : 22735057X
Notice de type
Personne
Automated theorem proving / W.W. Bledsoe and D.W. Loveland, editors, 1984
https://doi.org/10.1609/aimag.v17i1.1207, 2018-06-05
Information trouvée : Woody Bledsoe: His Life and Legacy
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