MNiBLoS

swMATH32318MaRDI QIDQ44029FDOQ44029

Author name not available (Why is that?)

Described by source

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

Cited In (1)

• New complexity results for Łukasiewicz logic

This page was built for software: MNiBLoS