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

      IMPLEMENTING THE MODEL EVOLUTION CALCULUS

      , ,
      International Journal on Artificial Intelligence Tools
      World Scientific Pub Co Pte Lt

      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 references2

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

          A machine program for theorem-proving

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

            A Computing Procedure for Quantification Theory

              Bookmark

              Author and article information

              Journal
              International Journal on Artificial Intelligence Tools
              Int. J. Artif. Intell. Tools
              World Scientific Pub Co Pte Lt
              0218-2130
              1793-6349
              February 2006
              February 2006
              : 15
              : 01
              : 21-52
              Article
              10.1142/S0218213006002552
              63e228ef-92a3-415b-bd2a-273d7d97bd12
              © 2006
              History

              Comments

              Comment on this article