Dynamic Epistemic Logic - Synthese Library - Hans Van Ditmarsch - Libros - Springer-Verlag New York Inc. - 9781402058387 - 8 de junio de 2007
En caso de que portada y título no coincidan, el título será el correcto

Hans Van Ditmarsch
Dynamic Epistemic Logic - Synthese Library 2008 edition

Precio
$ 105,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 - 31 de ago.
Recibe notificaciones sobre nuevos lanzamientos de Hans Van Ditmarsch

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

Aún no valorado

También disponible 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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 8 de junio de 2007
ISBN13 9781402058387
Editores Springer-Verlag New York Inc.
Páginas 296
Dimensiones 155 × 235 × 19 mm   ·   612 g
Lengua Inglés  

Más del mismo editor

Ver todo de Hans Van Ditmarsch ( Ej. Paperback Book y Hardcover Book )