Thirty five years of automating mathematics

著者

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

書誌事項

Thirty five years of automating mathematics

edited by Fairouz D. Kamareddine

（Applied logic series, v. 28）

Kluwer Academic, c2003

タイトル別名

35 years of automating mathematics

注記

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

Includes photo of N.G. de Bruijn

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA6601478X
• ISBN:
  • 1402016565
• 出版国コード: ne
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Dordrecht
• ページ数/冊数: viii, 318 p., [1] leaf of plates
• 大きさ: 25 cm
• 分類:
  • LCC : QA267.3
  • DC22 : 511.3
• 件名:
  • LCSH : AUTOMATH (Formal language)
  • LCSH : Automatic theorem proving
  • LCSH : Proof theory
• 親書誌ID:
  • BA28718584