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 |
|