Normal view MARC view ISBD view

Dynamic Logic. New Trends and Applications

Manuel A. Martins, Igor Sedlár

Dynamic Logic. New Trends and Applications - Springer Springer 2020

ISBN: 9783030658403

Source: EBOOK