Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}