Export 1 results:
Autor Títol Tipus [ Any(Asc)]
Filtres: Autor is David Barroso  [Clear All Filters]
2013
Alsinet T, Barroso D, Bejar R, Bou F, Cerami M, Esteva F.  2013.  On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. 7th International Conference on Scalable Uncertainty Management, SUM 2013. 8078:325-330.