dc.contributor.author | Oliva, P | en_US |
dc.contributor.author | Arthan, R | en_US |
dc.date.accessioned | 2019-11-12T16:14:31Z | |
dc.date.issued | 2019-10-02 | en_US |
dc.identifier.uri | https://qmro.qmul.ac.uk/xmlui/handle/123456789/61310 | |
dc.format.extent | 91 - 111 | en_US |
dc.publisher | Springer | en_US |
dc.rights | This is a pre-copyedited, author-produced version of an article accepted for publication in Proof Technology in Mathematics Research and Teaching following peer review. The version of record is available https://link.springer.com/chapter/10.1007%2F978-3-030-28483-1_5 | |
dc.title | Studying Algebraic Structures Using Prover9 and Mace4 | en_US |
dc.type | Book chapter | |
dc.rights.holder | © Springer Nature Switzerland AG 2019 | |
dc.identifier.doi | 10.1007/978-3-030-28483-1_5 | en_US |
pubs.notes | Not known | en_US |
pubs.publication-status | Published | en_US |
rioxxterms.funder | Default funder | en_US |
rioxxterms.identifier.project | Default project | en_US |