English
español
Navegación por Autor Barroso, David
Mostrando resultados 1 a 1 de 1
Derechos | Preview | Fecha Public. | Título | Autor(es) | Tipo |
---|---|---|---|---|---|
openAccess | 2013 | On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers | Alsinet, Teresa; Barroso, David; Bejar, Ramon; Bou, Felix CSIC; Cerami, Marco; Esteva, Francesc CSIC ORCID | comunicación de congreso |