Details:
Title | | Author(s) | Wolfgang Windsteiger | Type | Article in Journal | Abstract | | Keywords | Automated theorem proving, Set theory, Theorema | ISSN | 0747-7171 |
URL |
http://www.sciencedirect.com/science/article/pii/S0747717105001495 |
Language | English | Journal | Journal of Symbolic Computation | Volume | 41 | Number | 3–4 | Pages | 435 - 470 | Year | 2006 | Note | Logic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday) | Edition | 0 | Translation |
No | Refereed |
No |
|