Identifiant pérenne de la notice : 109172949
Notice de type
Personne
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff
- Springer, cop. 1979. Mathématicienne. En poste chez IBM T.J. Watson research center,
"Automatic programming group", Etats-Unis (en 1979)
http://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?DB=local&PAGE=First
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