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
Ano de publicación: 2008
Volume: 5144 LNAI
Páxinas: 170-183
Tipo: Achega congreso