Epistemic logic for AI and computer science /
Na minha lista:
Principais autores: | Meyer, John-Jules Ch., Hoek, W. van der |
---|---|
Formato: | Livro |
Publicado em: |
|
Assuntos: | |
Endereço do item: | https://app.bczm.ufrn.br/home/#/item/165874 |
Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
Registros relacionados
-
Clausal form logic : an introduction to the logic of computer reasoning /
por: Richards, Tom.
Publicado em: (2022) -
Logic, language, information and computation : 15th International Workshop, Wollic 2008, Edinburgh, UK, July 1-4, 2008 : proceedings /
por: Hodges, Wilfrid, et al.
Publicado em: (2022) -
Logic, language, information and computation : 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009 : proceedings /
por: Ono, Hiroakira., et al.
Publicado em: (2022) -
Dynamic epistemic logic /
por: Ditmarsch, Hans van,, et al.
Publicado em: (2022) -
Mathematical logic for computer science /
por: Lu, Zhongwan.
Publicado em: (2022)