Translated title of the contribution | Combining explanation-based learning and Knuth-Bendix completion for equational reasoning |
---|---|
Original language | English |
Publisher | University of Bristol |
Number of pages | 5 |
Publication status | Published - 1992 |
Combining explanation-based learning and Knuth-Bendix completion for equational reasoning
CP Willis, DJ Paddon
Research output: Working paper › Working paper and Preprints