Thirty five years of automating mathematics

Author(s)

• Kamareddine, Fairouz
• Bruijn, N. G. de (Nicolaas Govert)

Bibliographic Information

Thirty five years of automating mathematics

edited by Fairouz D. Kamareddine

（Applied logic series, v. 28）

Kluwer Academic, c2003

Other Title

35 years of automating mathematics

Note

This book dedicated to 35 years of de Bruijn's Automath

Includes photo of N.G. de Bruijn

Includes bibliographical references and index

Details

• NCID: BA6601478X
• ISBN:
  • 1402016565
• Country Code: ne
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Dordrecht
• Pages/Volumes: viii, 318 p., [1] leaf of plates
• Size: 25 cm
• Classification:
  • LCC : QA267.3
  • DC22 : 511.3
• Subject Headings:
  • LCSH : AUTOMATH (Formal language)
  • LCSH : Automatic theorem proving
  • LCSH : Proof theory
• Parent Bibliography ID:
  • BA28718584