Thirty-five years of automating mathematics /

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.