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
Any de publicació: 2008
Volum: 5144 LNAI
Pàgines: 170-183
Tipus: Aportació congrés