Telecharger Cours

Approche, en termes de squelettes de preuve, de la s emantique et ...

Cette th ese propose une reformulation compl ete de la s emantique des programmes logiques avec contraintes dans la lign ee de la vision ...



Download