From modal logic to deductive databases : introducing a logic based approach to artificial intelligence / editor, Andre Thayse ; authors, Paul Gochet ... [et al.] with the collaboration of Philippe Delsarte.
Contributor(s): Thayse, André
| Gochet, Paul
.
Material type: ![materialTypeLabel](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current library | Call number | Copy number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
General Lending | MTU Bishopstown Library Store Item | 006.3 (Browse shelf(Opens below)) | 1 | Available | 00020831 |
Browsing MTU Bishopstown Library shelves, Shelving location: Store Item Close shelf browser (Hides shelf browser)
Enhanced descriptions from Syndetics:
Advances the study of artificial intelligence concepts and applications using logic as a guideline. Examines such topics as natural and formal languages; modal logic; temporal logic and specification of concurrent programs; theory of relational and deductive databases; intensional logic and Montague's Semantics; representation of incomplete information in databases and much more.
Bibliography: p. 351-369. - Includes index.