Browsing by Author "Berghel, William Wesley"
Now showing items 1-1 of 1
-
An Elementary Theorem-Proving Program
Berghel, William WesleyMy 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 ...