RAMON
BEJAR TORRES
TU
![Foto de RAMON](/img/nophoto.png)
![Foto de Universitat de Barcelona](/img/noimage_org.png)
Universitat de Barcelona
Barcelona, EspañaPublications en collaboration avec des chercheurs 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)