Número de Cutter-SanbornM386dEntrada «Martini» → 386 · marca de obra “d”

Dynamic Logic. New Trends and Applications

Name: Dynamic Logic. New Trends and Applications
ISBN: 9783030658397

Third International Workshop, DaLí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers

Autor	Manuel A. Martins, Igor Sedlár
Editorial	Springer International Publishing AG
Fecha de publicación	2020
Idioma	inglés
ISBN-13	9783030658397
Número de Cutter	`M386d`

Dynamic Logic. New Trends and Applications (2020) — ISBN 9783030658397 | Cutter Number