23
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Article: not found

      HOL(y)Hammer: Online ATP Service for HOL Light

      ,
      Mathematics in Computer Science
      Springer Nature America, Inc

      Read this article at

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

          Related collections

          Most cited references12

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

          The Distance-Weighted k-Nearest-Neighbor Rule

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

            Learning-Assisted Automated Reasoning with Flyspeck

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

              Translating Higher-Order Clauses to First-Order Clauses

                Bookmark

                Author and article information

                Journal
                Mathematics in Computer Science
                Math.Comput.Sci.
                Springer Nature America, Inc
                1661-8270
                1661-8289
                March 2015
                June 28 2014
                March 2015
                : 9
                : 1
                : 5-22
                Article
                10.1007/s11786-014-0182-0
                c25f1881-a85a-4478-b7a9-b5ad0f686486
                © 2015
                History

                Comments

                Comment on this article