TítolAn SMT-based solver for continuous t-norm based logics
Publication TypeConference Paper
Year of Publication2012
AuthorsVidal A, Bou F, Godo L
Conference NameScalable Uncertainty Management (SUM 2012)
Volume7520
EditionE. Hüllermeier et al.
EditorSpringer-Verlag Berlin Heidelberg
Conference LocationMarburg (Germany)
Paginació633-640
Date Published17/09/2012