Opendata, web and dolomites

H2020 projects about "formalises"

The page lists 1 projects related to the topic "formalises".

# achronym  title  year 
1 SYSMICS Syntax Meets Semantics: Methods, Interactions, and Connections in Substructural logics. 2016