Logic And Data Bases
| Use attributes for filter ! | |
| Google books | books.google.com |
|---|---|
| Originally published | November 30, 1978 |
| Authors | Herve Gallaire |
| Editors | Jack Minker |
| Herve Gallaire | |
| Date of Reg. | |
| Date of Upd. | |
| ID | 3123995 |
About Logic And Data Bases
Introduction; Data bases viewed through formal logic; Knowledge representation and deduction; Negative information and data bases; Logic and data base integrity; Query languages and applications.