Cover Image

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.
Description
Physical Description:xviii, 271 pages ; 25 cm.
Bibliography:Includes bibliographical references (pages [259]-265) and indexes.
ISBN:0792320212 (alk. paper)