%0 Conference Paper %1 conf/sum/AlsinetBBBCE13 %A Alsinet, Teresa %A Barroso, David %A Béjar, Ramón %A Bou, Félix %A Cerami, Marco %A Esteva, Francesc %B SUM %D 2013 %E Liu, Weiru %E Subrahmanian, V. S. %E Wijsen, Jef %I Springer %K dblp %P 325-330 %T On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers. %U http://dblp.uni-trier.de/db/conf/sum/sum2013.html#AlsinetBBBCE13 %V 8078 %@ 978-3-642-40380-4

@inproceedings{conf/sum/AlsinetBBBCE13, added-at = {2017-05-24T00:00:00.000+0200}, author = {Alsinet, Teresa and Barroso, David and Béjar, Ramón and Bou, Félix and Cerami, Marco and Esteva, Francesc}, biburl = {https://www.bibsonomy.org/bibtex/2e38414088e35a1632795a949b1ffbbfc/dblp}, booktitle = {SUM}, crossref = {conf/sum/2013}, editor = {Liu, Weiru and Subrahmanian, V. S. and Wijsen, Jef}, ee = {https://doi.org/10.1007/978-3-642-40381-1_25}, interhash = {3b91edca29176b2a181caece309a6c42}, intrahash = {e38414088e35a1632795a949b1ffbbfc}, isbn = {978-3-642-40380-4}, keywords = {dblp}, pages = {325-330}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:26:26.000+0200}, title = {On the Implementation of a Fuzzy DL Solver over Infinite-Valued Product Logic with SMT Solvers.}, url = {http://dblp.uni-trier.de/db/conf/sum/sum2013.html#AlsinetBBBCE13}, volume = 8078, year = 2013 }