Opendata, web and dolomites
H2020 projects about "unifiying"
The page lists 1 projects related to the topic "unifiying".
| # | |||
|---|---|---|---|
| 1 | SC-square | SC-square - Satisfiability Checking and Symbolic Computation: uniting two communities to solve real problems | 2016 |