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
Año de publicación: 2008
Volumen: 5144 LNAI
Páginas: 170-183
Tipo: Aportación congreso