Dynamic Logic. New Trends and Applications

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

Produktform: Buch / Einband - flex.(Paperback)

The 17 full papers presented together with 6 short papers were carefully reviewed and selected from 31 submissions. weiterlesen

zurück