Explore: Automatische Bewijsvoering

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

Learn more about Automatische Bewijsvoering with top reads curated from trusted sources — all in one place.

Topic Search

Search for any topic

AI-Generated Overview About “automatische-bewijsvoering”:


Books Results

Source: The Open Library

The Open Library Search Results

Search results from The Open Library

1Mechanizing Proof

By

Book's cover

“Mechanizing Proof” Metadata:

  • Title: Mechanizing Proof
  • Author:
  • Language: English
  • Number of Pages: Median: 445
  • Publisher: MIT Press - The MIT Press
  • Publish Date:

“Mechanizing Proof” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2001
  • 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 Mechanizing Proof at online marketplaces:


2Mathematical reasoning with diagrams

By

Book's cover

“Mathematical reasoning with diagrams” Metadata:

  • Title: ➤  Mathematical reasoning with diagrams
  • Author:
  • Language: English
  • Number of Pages: Median: 204
  • Publisher: ➤  CSLI - Center for the Study of Language and Inf
  • Publish Date:
  • Publish Location: Stanford, Calif

“Mathematical reasoning with diagrams” Subjects and Themes:

Edition Identifiers:

Access and General Info:

  • First Year Published: 2001
  • 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 Mathematical reasoning with diagrams at online marketplaces:


3Discrete structures, logic, and computability

By

Book's cover

“Discrete structures, logic, and computability” Metadata:

  • Title: ➤  Discrete structures, logic, and computability
  • Author:
  • Language: English
  • Number of Pages: Median: 943
  • Publisher: ➤  World Headquarters/Jones & Bartlett Learning - Jones & Bartlett Learning, LLC - Jones and Bartlett Publishers - Jones & Bartlett Learning - Jones and Bartlett
  • Publish Date: ➤  
  • Publish Location: ➤  Sudbury, Mass - Boston - Burlington, MA

“Discrete structures, logic, and computability” 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: 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 Discrete structures, logic, and computability at online marketplaces:


    4Propositional logic

    By

    Book's cover

    “Propositional logic” Metadata:

    • Title: Propositional logic
    • Authors:
    • Language: English
    • Number of Pages: Median: 415
    • Publisher: Cambridge University Press
    • Publish Date:
    • Publish Location: New York - Cambridge [England]

    “Propositional logic” Subjects and Themes:

    Edition Identifiers:

    First Setence:

    "Mathematical logic has from its very beginning concerned itself with, amongst other things, a precise explication of the concept of proof, that is to say the concept of logical deduction."

    Access and General Info:

    • First Year Published: 1999
    • 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 Propositional logic at online marketplaces:


      5Theorem proving in higher order logics

      By

      Book's cover

      “Theorem proving in higher order logics” Metadata:

      • Title: ➤  Theorem proving in higher order logics
      • Authors:
      • Language: English
      • Number of Pages: Median: 359
      • Publisher: ➤  Springer London, Limited - Springer
      • Publish Date:

      “Theorem proving in higher order logics” Subjects and Themes:

      Edition Identifiers:

      Access and General Info:

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

      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 Theorem proving in higher order logics at online marketplaces:


        6Automated deduction in equational logic and cubic curves

        By

        Book's cover

        “Automated deduction in equational logic and cubic curves” Metadata:

        • Title: ➤  Automated deduction in equational logic and cubic curves
        • Author:
        • Language: English
        • Number of Pages: Median: 231
        • Publisher: Springer
        • Publish Date:
        • Publish Location: New York - Berlin

        “Automated deduction in equational logic and cubic curves” Subjects and Themes:

        Edition Identifiers:

        Access and General Info:

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

        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 Automated deduction in equational logic and cubic curves at online marketplaces:


          7Automated deduction, CADE-13

          By

          Book's cover

          “Automated deduction, CADE-13” Metadata:

          • Title: Automated deduction, CADE-13
          • Author: ➤  
          • Language: English
          • Number of Pages: Median: 764
          • Publisher: Springer
          • Publish Date:
          • Publish Location: New York - Berlin

          “Automated deduction, CADE-13” Subjects and Themes:

          Edition Identifiers:

          Access and General Info:

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

          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 Automated deduction, CADE-13 at online marketplaces:


            8Automated theorem-proving in non-classical logics

            By

            Book's cover

            “Automated theorem-proving in non-classical logics” Metadata:

            • Title: ➤  Automated theorem-proving in non-classical logics
            • Author:
            • Language: English
            • Number of Pages: Median: 154
            • Publisher: Wiley - Pitman
            • Publish Date:
            • Publish Location: New York - London

            “Automated theorem-proving in non-classical logics” Subjects and Themes:

            Edition Identifiers:

            Access and General Info:

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

            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 Automated theorem-proving in non-classical logics at online marketplaces:


              9Automated deduction, CADE-15

              By

              Book's cover

              “Automated deduction, CADE-15” Metadata:

              • Title: Automated deduction, CADE-15
              • Author: ➤  
              • Language: English
              • Number of Pages: Median: 441
              • Publisher: Springer
              • Publish Date:
              • Publish Location: New York - Berlin

              “Automated deduction, CADE-15” Subjects and Themes:

              Edition Identifiers:

              Access and General Info:

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

              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 Automated deduction, CADE-15 at online marketplaces:


                10Symbolic computation and automated reasoning

                By

                “Symbolic computation and automated reasoning” Metadata:

                • Title: ➤  Symbolic computation and automated reasoning
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 270
                • Publisher: A K Peters
                • Publish Date:
                • Publish Location: Natick, Mass

                “Symbolic computation and automated reasoning” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                Online Marketplaces

                Find Symbolic computation and automated reasoning at online marketplaces:


                11Theorem proving in higher order logics

                By

                Book's cover

                “Theorem proving in higher order logics” Metadata:

                • Title: ➤  Theorem proving in higher order logics
                • Author: ➤  
                • Language: English
                • Number of Pages: Median: 337
                • Publisher: Springer
                • Publish Date:
                • Publish Location: Berlin - New York

                “Theorem proving in higher order logics” Subjects and Themes:

                Edition Identifiers:

                Access and General Info:

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

                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 Theorem proving in higher order logics at online marketplaces:


                  12Automated deduction, CADE-11

                  By

                  Book's cover

                  “Automated deduction, CADE-11” Metadata:

                  • Title: Automated deduction, CADE-11
                  • Author: ➤  
                  • Language: English
                  • Number of Pages: Median: 793
                  • Publisher: Springer-Verlag
                  • Publish Date:
                  • Publish Location: New York - Berlin

                  “Automated deduction, CADE-11” Subjects and Themes:

                  Edition Identifiers:

                  Access and General Info:

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

                  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 Automated deduction, CADE-11 at online marketplaces:



                    Top of Page