Automated development of fundamental mathematical theories /

Bibliographic Details

Main Author:	Quaife, Art
Format:	Book
Language:	English
Published:	Dordrecht ; Boston : Kluwer Academic, [1992]
Series:	Automated reasoning series ; v. 2.
Subjects:	Automatic theorem proving. Artificial intelligence.