Publicaciones

An SMT-based solver for continuous t-norm based logics

Tipo de Publicación:

Conference Paper

Origen:

Scalable Uncertainty Management (SUM 2012), Springer-Verlag Berlin Heidelberg, Volumen7520, Marburg (Germany), p.633-640 (2012)

Proyectos: