Details:
| Title | Interfacing external CA systems for Gr\"obner bases computation in Mizar proof checking. | | Author(s) | Adam Naumowicz | | Type | Article in Journal | | Abstract | | | Keywords | | | ISSN | 0020-7160; 1029-0265/e |
| URL |
http://www.tandfonline.com/doi/abs/10.1080/00207160701864459 |
| Language | English | | Journal | Int. J. Comput. Math. | | Volume | 87 | | Number | 1 | | Pages | 1--11 | | Publisher | Taylor & Francis, Abingdon, Oxfordshire | | Year | 2010 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
