A Groebner bases based many-valued modal logic implementation in maple
- Roanes-Lozano, E.
- Laita, L.M.
- Roanes-Macías, E.
ISSN: 0302-9743, 1611-3349
ISBN: 9783540851097
Année de publication: 2008
Volumen: 5144 LNAI
Pages: 170-183
Type: Communication dans un congrès