Details:
| Title | On logical fiberings and automated deduction in many-valued logics using Gr\"obner bases. | | Author(s) | Jochen Pfalzgraf | | Type | Article in Journal | | Abstract | | | ISSN | 1578-7303 |
| URL |
https://eudml.org/doc/41048 |
| Language | English | | Journal | RACSAM, Rev. R. Acad. Cienc. Exactas F | | Volume | 98 | | Number | 1-2 | | Pages | 213--227 | | Publisher | Real Academia de Ciencias, Madrid | | Year | 2004 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
