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

Dynamic Epistemic Logic - Synthese Library 2008 edition

Hans Van Ditmarsch

Preço
€ 97,99

Item sob encomenda (no estoque do fornecedor)

Data prevista de entrega 5 - 15 de set

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

Também disponível como:

Dynamic Epistemic Logic - Synthese Library 2008 edition

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     Paperback Book   (Livro de capa flexível e brochura)
Lançado 15 de novembro de 2007
ISBN13 9781402069086
Editoras Springer-Verlag New York Inc.
Páginas 296
Dimensões 235 × 241 × 20 mm   ·   439 g
Idioma English  
Mostrar tudo

Mais por Hans Van Ditmarsch

Ver tudo de Hans Van Ditmarsch ( por exemplo Paperback Book e Hardcover Book )