Explore: Automath (formal Language)

Discover books, insights, and more — all in one place.

Learn more about Automath (formal Language) with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “automath-%28formal-language%29”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Checking Landau's "Grundlagen" in the automath system

By

“Checking Landau's "Grundlagen" in the automath system” Metadata:

  • Title: ➤  Checking Landau's "Grundlagen" in the automath system
  • Author:
  • Language: English
  • Number of Pages: Median: 120
  • Publisher: Mathematisch Centrum
  • Publish Date:
  • Publish Location: Amsterdam

“Checking Landau's "Grundlagen" in the automath system” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1979
  • Is Full Text Available: Yes
  • Is The Book Public: No
  • Access Status: Borrowable

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

Online Marketplaces

Find Checking Landau's "Grundlagen" in the automath system at online marketplaces:


2Automath;

By

“Automath;” Metadata:

  • Title: Automath;
  • Author:
  • Language: English
  • Number of Pages: Median: 62
  • Publisher: ➤  Les Presses de L'Université de Montréal - Les Presses de L'Universite de Montreal
  • Publish Date:
  • Publish Location: Montréal

“Automath;” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 1973
  • Is Full Text Available: No
  • Is The Book Public: No
  • Access Status: No_ebook

Online Access

Downloads Are Not Available:

The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

Online Borrowing:

    Online Marketplaces

    Find Automath; at online marketplaces:


    3Thirty Five Years of Automating Mathematics (Applied Logic Series)

    By

    Book's cover

    “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: Median: 328
    • Publisher: Springer
    • Publish Date:

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

    Edition Identifiers:

    First Setence:

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

    Access and General Info:

    • First Year Published: 2003
    • Is Full Text Available: No
    • Is The Book Public: No
    • Access Status: No_ebook

    Online Access

    Downloads Are Not Available:

    The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

    Online Borrowing:

      Online Marketplaces

      Find Thirty Five Years of Automating Mathematics (Applied Logic Series) at online marketplaces:


      4Selected papers on Automath

      By

      Book's cover

      “Selected papers on Automath” Metadata:

      • Title: Selected papers on Automath
      • Author:
      • Language: English
      • Number of Pages: Median: 1024
      • Publisher: Elsevier
      • Publish Date:
      • Publish Location: Amsterdam - New York

      “Selected papers on Automath” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

      • First Year Published: 1994
      • Is Full Text Available: No
      • Is The Book Public: No
      • Access Status: Unclassified

      Online Access

      Downloads Are Not Available:

      The book is not public therefore the download links will not allow the download of the entire book, however, borrowing the book online is available.

      Online Borrowing:

        Online Marketplaces

        Find Selected papers on Automath at online marketplaces:


        5Bewijzen in de wiskunde

        “Bewijzen in de wiskunde” Metadata:

        • Title: Bewijzen in de wiskunde
        • Language: dut
        • Number of Pages: Median: 87
        • Publisher: ➤  Centrum voor Wiskunde en Informatica
        • Publish Date:
        • Publish Location: Amsterdam

        “Bewijzen in de wiskunde” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1989
        • Is Full Text Available: No
        • Is The Book Public: No
        • Access Status: No_ebook

        Online Marketplaces

        Find Bewijzen in de wiskunde at online marketplaces:


        6Abstract automath

        By

        “Abstract automath” Metadata:

        • Title: Abstract automath
        • Author:
        • Language: English
        • Number of Pages: Median: 188
        • Publisher: Mathematisch Centrum
        • Publish Date:
        • Publish Location: Amsterdam

        “Abstract automath” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

        • First Year Published: 1983
        • Is Full Text Available: No
        • Is The Book Public: No
        • Access Status: No_ebook

        Online Marketplaces

        Find Abstract automath at online marketplaces:


        Top of Page