HR - A System for Machine Discovery in Finite Algebras (1998)

by Alan Bundy , Simon Colton , Toby Walsh
Venue:ECAI 98 Workshop Programme
Citations:8 - 0 self