English   español  

Navegación por Autor Barroso, David

Ir a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
O introducir las primeras letras:  
Mostrando resultados 1 a 1 de 1
DerechosPreviewFecha Public.TítuloAutor(es)Tipo
openAccess2013On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT SolversAlsinet, Teresa; Barroso, David; Bejar, Ramon; Bou, Felix CSIC; Cerami, Marco; Esteva, Francesc CSIC ORCID comunicación de congreso