MNiBLoS: a SMT-based solver for continuous t-norm based logics and some of their modal expansions

From MaRDI portal

(Redirected from Publication:2282273)

Jump to:navigation, search

WARNING: Page is not linked to a MaRDI-Entity. Please add Sitelink / Wikibase-link.

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=MNiBLoS:_a_SMT-based_solver_for_continuous_t-norm_based_logics_and_some_of_their_modal_expansions&oldid=73881006"