scientific article
From MaRDI portal
Publication:3156426
zbMath1073.68829MaRDI QIDQ3156426
Luis M. Laita, Eugenio Roanes-Macías, Eugenio Roanes-Lozano
Publication date: 7 January 2005
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Symbolic computation and algebraic computation (68W30) Theory of languages and software systems (knowledge-based systems, expert systems, etc.) for artificial intelligence (68T35) Many-valued logic (03B50)
Related Items (4)
Revisiting four-valued logics from \textit{Maple} using the \textit{Logics Explorer} package ⋮ The Logics' Explorer: a Maple package for exploring finite many-valued propositional logics ⋮ An algebraic approach to rule based expert systems ⋮ A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple
Uses Software
This page was built for publication: