Combining Explanation-based Learning and Knuth-Bendix Completion for Equational Reasoning

Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)

Translated title of the contribution	Combining Explanation-based Learning and Knuth-Bendix Completion for Equational Reasoning
Original language	English
Title of host publication	Unknown
Pages	211 - 215
Number of pages	4
Publication status	Published - 1991

Conference Proceedings/Title of Journal: Artificial Intelligence International Research Symposium

Handle.net

@inproceedings{ea0c8412a53f4523beb965ce24fa8323,

title = "Combining Explanation-based Learning and Knuth-Bendix Completion for Equational Reasoning",

author = "CP Willis and DJ Paddon",

note = "Conference Proceedings/Title of Journal: Artificial Intelligence International Research Symposium",

year = "1991",

language = "English",

isbn = "096207337",

pages = "211 -- 215",

booktitle = "Unknown",

}