Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleA Groebner bases based many-valued modal logic implementation in Maple.
Author(s) Luis M. Laita, Eugenio Roanes-Lozano, Eugenio
TypeBook, Chapter in Book, Conference Proceeding
Abstract
KeywordsLogic and Symbolic Computing, Groebner Bases, Rule Based Expert Systems
ISBN978-3-540-85109-7/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-540-85110-3_14
LanguageEnglish
Pages170--183
PublisherBerlin: Springer
Year2008
Edition0
Translation No
Refereed No
Webmaster