English   español  

Browsing by Author Barroso, David

Jump to: 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
or enter first few letters:  
Showing results 1 to 1 of 1
RightsPreviewIssue DateTitleAuthor(s)Type
openAccess2013On the implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT SolversAlsinet, Teresa; Barroso, David; Bejar, Ramon; Bou, Felix; Cerami, Marco; Esteva, Francesc comunicación de congreso