HR: A System for Machine Discovery in Finite Algebras

Alan Bundy, S. Colton, T. Walsh

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Fingerprint

Dive into the research topics of 'HR: A System for Machine Discovery in Finite Algebras'. Together they form a unique fingerprint.

Mathematics

Computer Science