The following pages link to (Q3156426):
Displaying 4 items.
- The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics (Q692319) (← links)
- An algebraic approach to rule based expert systems (Q981968) (← links)
- Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package (Q2229887) (← links)
- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple (Q5505497) (← links)
