Now showing items 1-1 of 1

    • An Elementary Theorem-Proving Program 

      Berghel, William Wesley
      My goal is to write a theorem-proving assistant that can , to s ome extent, take a hypothesis (that works on IF-THEN rules) and make some progress toward a realizable goal. However, since I need a more concrete problem ...