Items where Author is "Steele, Adam"
Group by: Item Type | No Grouping
Number of items: 1.
Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.
Steele, Adam (1989) Simplifying the Knuth-Bendix completion procedure for equational systems. Masters thesis, Concordia University.