Search
Now showing items 1-1 of 1
An Elementary Theorem-Proving Program
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 ...