"Thirty Five Years of Automating Mathematics (Applied Logic Series)" - Information and Links:

Thirty Five Years of Automating Mathematics (Applied Logic Series) - Info and Reading Options

Book's cover
The cover of “Thirty Five Years of Automating Mathematics (Applied Logic Series)” - Open Library.

"Thirty Five Years of Automating Mathematics (Applied Logic Series)" is published by Springer in November 30, 2003, it has 328 pages and the language of the book is English.


“Thirty Five Years of Automating Mathematics (Applied Logic Series)” Metadata:

  • Title: ➤  Thirty Five Years of Automating Mathematics (Applied Logic Series)
  • Author:
  • Language: English
  • Number of Pages: 328
  • Publisher: Springer
  • Publish Date:

“Thirty Five Years of Automating Mathematics (Applied Logic Series)” Subjects and Themes:

Edition Specifications:

  • Format: Hardcover
  • Weight: 1.4 pounds
  • Dimensions: 9.4 x 6.3 x 0.8 inches

Edition Identifiers:

AI-generated Review of “Thirty Five Years of Automating Mathematics (Applied Logic Series)”:


Snippets and Summary:

The paper is a survey of the material presented in previous more elaborate publications ([de Bruijn, 1994; de Bruijn, 1996; de Bruijn, 1999]).

Read “Thirty Five Years of Automating Mathematics (Applied Logic Series)”:

Read “Thirty Five Years of Automating Mathematics (Applied Logic Series)” by choosing from the options below.

Search for “Thirty Five Years of Automating Mathematics (Applied Logic Series)” downloads:

Visit our Downloads Search page to see if downloads are available.

Find “Thirty Five Years of Automating Mathematics (Applied Logic Series)” in Libraries Near You:

Read or borrow “Thirty Five Years of Automating Mathematics (Applied Logic Series)” from your local library.

Buy “Thirty Five Years of Automating Mathematics (Applied Logic Series)” online:

Shop for “Thirty Five Years of Automating Mathematics (Applied Logic Series)” on popular online marketplaces.