Innovating Works

MAPLESOFT EUROPE LIMITED

Desconocido
SC-square: SC square Satisfiability Checking and Symbolic Computation uniting two communities to solve real... MAPLESOFT EUROPE LIMITED participó en un H2020: H2020-FETOPEN-2014-2015 The use of advanced methods to solve practical and industrially relevant problems by computers has a long history. Whereas Symbolic Computat...
2016-05-04 - 2018-08-31 | Financiado
* Datos extraídos de la documentos o webs disponibles en diferentes organismos públicos.