Send to Friend

Send to Friend

From	To
Email: * First Name: Last Name: Send a copy to myself	Email: * First Name: Last Name:

Send to Friend from IIIA

Message Text:

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

Conference Paper

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