Details:
| Title | Theorema: Towards computer-aided mathematical theory exploration | | Author(s) | Bruno Buchberger, Adrian Crǎciun, Tudor Jebelean, Levente Kovacs, Temur Kutsia, Koji Nakagawa, Florina Piroi, Nikolaj Popov, Judit Robu, Markus Rosenkranz, Wolfgang Windsteiger | | Type | Article in Journal | | Keywords | | | ISSN | 1570-8683 |
| URL |
http://www.sciencedirect.com/science/article/pii/S1570868305000716 |
| Language | English | | Journal | Journal of Applied Logic | | Volume | 4 | | Number | 4 | | Pages | 470 - 504 | | Year | 2006 | | Note | Towards Computer Aided Mathematics | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
