Showing 1 - 2 results of 2 for search '"Automated reasoning"', query time: 0.06s Refine Results
  1. 1
    The Programmer's Apprentice Project: A Research Overview

    The Programmer's Apprentice Project: A Research Overview by Rich, Charles, Waters, Richard C.

    Published 2004
    Subjects:
    Get full text
  2. 2
    Pattern-Directed Invocation with Changing Equations

    Pattern-Directed Invocation with Changing Equations by Feldman, Yishai A., Rich, Charles

    Published 2004
    “…The interaction of pattern-directed invocation with equality in an automated reasoning system gives rise to a completeness problem. …”
    Get full text

Search Tools: