Dynamic Logic. New Trends and Applications

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

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

zurück