Automated development of fundamental mathematical theories
By: by Art Quaife.
Series: Automated reasoning series ;; v. 2
Publisher: Kluwer Academic
Published: 1992
Place of publication: Dordrecht; Boston
Language: eng
Number of pages: 271
Subjects: Automatic theorem proving; Artificial intelligence
Notes: Includes bibliographical references (p. [259]-265) and indexes.