Dynamic Logic. New Trends and Applications - Third International Workshop, Dalí 2020, Prague, Czech Republic, October 9-10, 2020, Revised Selected Papers
AuthID
P-00T-D4X
P-00T-D4X
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service