Titre | Evolving SMT Strategies |
Type de publication | Communication |
Type | Communication avec actes dans un congrès |
Année | 2016 |
Langue | Anglais |
Date du colloque | 06-08/11/2016 |
Titre du colloque | 28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI) |
Titre des actes ou de la revue | 2016 IEEE 28th International Conference on Tools with Artificial Intelligence (ICTAI) |
Auteur | Gálvez Ramírez, Nicolás , Hamadi, Youssef, Monfroy, Eric, Saubion, Frédéric |
Pays | Etats-Unis |
Ville | San Jose |
URL de la notice | http://okina.univ-angers.fr/publications/ua15337 |
Lien vers le document en ligne | http://www.ictai2016.com/
|