TY  - BOOK
AU  - Gallaire,Herve
AU  - Monker,Jack
TI  - Logic and databases
SN  - 030640060X
PY  - 1978///
CY  - New York
PB  - Plenum
KW  - Logic, Symbolic and mathematical
KW  - Database management
N1  - "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"
ER  -