MARIA TERESA
ALSINET BERNADO
TU
Universitat de Barcelona
Barcelona, EspañaPublicaciones en colaboración con investigadores/as de Universitat de Barcelona (1)
2013
-
On the implementation of a fuzzy dl solver over infinite-valued product logic with smt solvers
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)