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
Datum der Publikation: 2008
Ausgabe: 5144 LNAI
Seiten: 170-183
Art: Konferenz-Beitrag