Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
A Groebner bases based many-valued modal logic implementation in Maple.
Author(s)
Luis M. Laita
,
Eugenio Roanes-Lozano
,
Eugenio
Type
Book, Chapter in Book, Conference Proceeding
Abstract
Keywords
Logic and Symbolic Computing, Groebner Bases, Rule Based Expert Systems
ISBN
978-3-540-85109-7/pbk
URL
http://link.springer.com/chapter/10.1007%2F978-3-540-85110-3_14
Language
English
Pages
170--183
Publisher
Berlin: Springer
Year
2008
Edition
0
Translation
No
Refereed
No
Webmaster