22
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: not found
      • Book Chapter: not found
      Frontiers of Combining Systems 

      Ωmega: Towards a mathematical assistant

      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 references1

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

          Technical Report ANL-94-6

            Bookmark

            Author and book information

            Book Chapter
            1997
            June 8 2005
            : 252-255
            10.1007/3-540-63104-6_23
            d03e19c1-5e09-4a1a-ae17-c8c608e4ea75
            History

            Comments

            Comment on this book

            Book chapters

            Similar content1,499

            Cited by8