Éditeur(s):
Ellipses
Une introduction aux concepts de la logique des prédicats du premier ordre tels que la syntaxe, la sémantique et les preuves formelles. Le manuel insiste sur leurs applications en informatique, aboutissant aux méthodes algorithmiques de démonstration automatique. ©El...
32,00 €