Logic and databases /
Logic and databases /
edited by Herve Gallaire and Jack Minker.
- New York : Plenum, c1978.
- viii, 458 p.
"Based on the proceedings of the symposium on Logic and data bases held at the Centre d'Etudes et de Recherches de L'Ecole Nationale Superieure de L'Aeroanutique et de L'Espace de Toulouse (C. E. R. T.), Toulouse, France, November16-18, 1977".
030640060X
Logic, Symbolic and mathematical.
Database management
"Based on the proceedings of the symposium on Logic and data bases held at the Centre d'Etudes et de Recherches de L'Ecole Nationale Superieure de L'Aeroanutique et de L'Espace de Toulouse (C. E. R. T.), Toulouse, France, November16-18, 1977".
030640060X
Logic, Symbolic and mathematical.
Database management