Show simple item record

dc.contributor.authorOliva, Pen_US
dc.contributor.authorArthan, Ren_US
dc.date.accessioned2019-11-12T16:14:31Z
dc.date.issued2019-10-02en_US
dc.identifier.urihttps://qmro.qmul.ac.uk/xmlui/handle/123456789/61310
dc.format.extent91 - 111en_US
dc.publisherSpringeren_US
dc.rightsThis 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.titleStudying Algebraic Structures Using Prover9 and Mace4en_US
dc.typeBook chapter
dc.rights.holder© Springer Nature Switzerland AG 2019
dc.identifier.doi10.1007/978-3-030-28483-1_5en_US
pubs.notesNot knownen_US
pubs.publication-statusPublisheden_US
rioxxterms.funderDefault funderen_US
rioxxterms.identifier.projectDefault projecten_US


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record