Computer Science Logic, 23Rd International Workshop, Csl 2009, 18Th Annual Conference of the Eacsl, Coimbra, Portugal, September 7-11, 2009. Proceedings
AuthID
P-00X-KN5
P-00X-KN5
© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service