Details:
| Title | A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple | | Author(s) | Luis M. Laita, Eugenio Roanes-Lozano, Eugenio | | Type | Article in Journal | | Abstract | | | Keywords | Logic and Symbolic Computing - Groebner Bases - Rule Based Expert Systems |
| Language | English | | Journal | Intelligent Computer Mathematics, Lecture Notes in Computer Science | | Volume | 5144 | | Pages | 170-183 | | Year | 2008 | | Translation |
No | | Refereed |
Yes |
|
