Cours de niveau M2 au
MPRI
:
Logique, complexité descriptive et théorie des bases de données