Temporal logic : from ancient ideas to artificial intelligence / Peter Ohrstrom, Per F. V. Hasle
Language: eng.Country: GB - United Kingdom of Great Britain & N. Ireland.Publication: London : Kluwer Academic Publishers, cop. 1995Description: VIII, 413 p. : il. ; 23 cmISBN: 0-7923-3586-4.Series: Studies in linguistics and philosophy, 57Subject - Topical Name: Tempo (Lógica) | Lógica matemática| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Sala verde/Piso 1 | Não Ficção | BC199.OHR FCT 31478 (Browse shelf(Opens below)) | 1 | Available | 0001002 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala verde/Piso 1, Collection: Não Ficção Close shelf browser (Hides shelf browser)
| BC199.IFS FCT 23925 IFS: conditionals, belief, decision, chance and time | BC199.KNO FCT 29738 Knowledge and belief in philosophy and artificial intelligence | BC199.LYC FCT 32955 Modality and meaning | BC199.OHR FCT 31478 Temporal logic, from ancient ideas to artificial intelligence | BC199.RES FCT 67028 Conditionals | BC199.WAL FCT 61928 Abductive reasoning | BC57.SWA FCT 29768 Logic, mathematics, language, computer science and philosophy |
There are no comments on this title.
Log in to your account to post a comment.
