Thirty five years of automating mathematics
CiNii
Available at 3 libraries
Bibliographic Information
- Title
- "Thirty five years of automating mathematics"
- Statement of Responsibility
- edited by Fairouz D. Kamareddine
- Publisher
-
- Kluwer Academic
- Publication Year
-
- c2003
- Book size
- 25 cm
- Other Title
-
- 35 years of automating mathematics
Search this Book/Journal
Notes
This book dedicated to 35 years of de Bruijn's Automath
Includes photo of N.G. de Bruijn
Includes bibliographical references and index
- Tweet
Details 詳細情報について
-
- CRID
- 1130282271070318592
-
- NII Book ID
- BA6601478X
-
- ISBN
- 1402016565
-
- Text Lang
- en
-
- Country Code
- ne
-
- Title Language Code
- en
-
- Place of Publication
-
- Dordrecht
-
- Subject
-
- LCSH: AUTOMATH (Formal language)
- LCSH: Automatic theorem proving
- LCSH: Proof theory
-
- Data Source
-
- CiNii Books