Telecharger Cours

Solving Disequations in Equational Theories

This report presents a proposal for a deduction component that supports the query mechanism of relational databases.



Download