Cover Image

Thirty-five years of automating mathematics /

Show other versions (1)
Bibliographic Details
Other Authors: Kamareddine, Fairouz D.
Format: Book
Language:English
Published: Dordrecht ; Boston : Kluwer Academic Publishers, [2003]
Series:Applied logic series ; v. 28.
Subjects:
AUTOMATH (Formal language)
Automatic theorem proving.
Proof theory.
Description
Physical Description:viii, 318 pages : illustrations ; 25 cm.
Bibliography:Includes bibliographical references (pages 311-314) and index.
ISBN:1402016565 (alk. paper)