Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Livros - Springer-Verlag New York Inc. - 9781402058387 - 8 de junho de 2007
Caso a capa e o título não sejam correspondentes, considere o título como correto

Hans Van Ditmarsch
Dynamic Epistemic Logic - Synthese Library 2008 edition

Preço
R$ 572,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de out
Receba avisos sobre novos lançamentos de Hans Van Ditmarsch

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Ainda não avaliado

Também disponível como:

Dynamic Epistemic Logic is the logic of knowledge change. This book provides various logics to support such formal specifications, including proof systems. It is suitable for graduate courses in logic. Many examples, exercises, and thorough completeness proofs and expressivity results are included.

296 pages, biography

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 8 de junho de 2007
ISBN13 9781402058387
Editoras Springer-Verlag New York Inc.
Páginas 296
Dimensões 155 × 235 × 19 mm   ·   612 g
Idioma Inglês  

Mais da mesma editora

Ver tudo de Hans Van Ditmarsch