Epistemic logic for AI and computer science / J.-J- Ch. Meyer, W. van der Hock
Language: eng.Country: US - United States of America.Publication: Cambridge : Cambridge University Press, cop. 1995Description: XIII, 354 p. ; 26 cmISBN: 0-521-46014-X.Series: Cambridge tracts in theoretical computer scienceSubject - Topical Name: Informática | Inteligência artificial | Lógica matemática| Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode | |
|---|---|---|---|---|---|---|---|---|
| Monografia | Biblioteca NOVA FCT Sala azul/Piso 2 | Não Ficção | QA76.MEY FCT 36141 (Browse shelf(Opens below)) | 1 | Não pode ser emprestado, apenas consulta local | 0016441 |
Browsing Biblioteca NOVA FCT shelves, Shelving location: Sala azul/Piso 2, Collection: Não Ficção Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| QA76.KEL FCT 31476 The essence of logic | QA76.LON FCT 55422 Computers, information technology in perspective | QA76.MAR FCT 15477 Concepção de uma base de dados | QA76.MEY FCT 36141 Epistemic logic for AI and computer science | QA76.MIN FCT 18195 40=Branco40 anos de computação científica e técnica no LNEC | QA76.NAT FCT 698 New concepts and technologies in parallel information processing, proceedings of the Nato Advanced Study Institute, held at Capri, Italy, June 17-30, 1973 | QA76.PRO FCT 48334 Proof, language, and interaction , essays in honour of Robin Miller |
Desaparecido
There are no comments on this title.
Log in to your account to post a comment.
