Type of document: Dissertation
Language: English
Author(s): Quaife, Arthur William
Title: Automated Development of Fundamental Mathematical Theories
Year: 1990
Pages: 1-280
Place of publication: Dept. of Mathematics, UC Berkeley
Comments: Contains errata
Catalog