ON CANONICAL FORMS AND SIMPLIFICATION.
CARNEGIE-MELLON UNIV PITTSBURGH PA DEPT OF COMPUTER SCIENCE
Pagination or Media Count:
The purpose of the dissertation was to study the representations of formula expressions in a way that would give meaning to the so-called simplification problem.
- Theoretical Mathematics
- Computer Programming and Software