ePubs

The open archive for STFC research publications

Full Record Details

Persistent URL http://purl.org/net/epubs/work/28887
Record Status Checked
Record Id 28887
Title Strategies for Theorem Proving in an Equational Reasoning System
Contributors
Abstract
Organisation SERC
Keywords
Funding Information
Related Research Object(s):
Licence Information:
Language English (EN)
Type Details URI(s) Local file(s) Year
Thesis MSc, Imperial College, University of London , 1988. 1988