Identifiant pérenne de la notice : 243688938
Notice de type
Personne
Integrating rewriting, tableau and superposition into SMT / Guillaume Bury ; sous
la direction de Gilles Dowek et David Delahaye. Thèse de doctorat : Informatique :
Sorbonne Paris Cité : 2019
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