2
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Automated Reasoning 

      System Description: GAPT 2.0

      other

      Read this book at

      Buy book Bookmark
          There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

          Related collections

          Most cited references18

          • Record: found
          • Abstract: not found
          • Book Chapter: not found

          The OpenTheory Standard Theory Library

          Joe Hurd (2011)
            Bookmark
            • Record: found
            • Abstract: not found
            • Article: not found

            Cut-elimination and Redundancy-elimination by Resolution

              Bookmark
              • Record: found
              • Abstract: not found
              • Article: not found

              A compact representation of proofs

                Bookmark

                Author and book information

                Book
                978-3-319-40228-4
                978-3-319-40229-1
                2016
                10.1007/978-3-319-40229-1
                Book Chapter
                2016
                June 12 2016
                : 293-301
                10.1007/978-3-319-40229-1_20

                Comments

                Comment on this book