Telecharger Cours

Méthodes pour le raisonnement d'ordre supérieur dans SMT

Dans le domaine du raisonnement automatique on s'intéresse, donc à une forme de complétude plus restreinte, la complétude pour la réfutation de formules. Cela ...



Download