Search within
Links
Our Events & News
  1. FSA
  2. Books
Book
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
G. Rozenberg
World Scientific
(2010), Pages 146