Identifiant pérenne de la notice : 085973653
Notice de type
Personne
The efficiency of theorem proving strategies : a comparative and asymptotic analysis
/ David A. Plaisted, Yunshan Zhu, 1997
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