ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/24081
Record Status Checked
Record Id 24081
Title AUTOMATED EQUATIONAL REASONING AND THE KNUTH-BENDIX ALGORITHM: AN INFORMAL INTRODUCTION
Contributors
Abstract
Organisation SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Report RAL-88-043. 1988. 1988