Ernst, George W.

4 publications

IJCAI 1977 A Comparsion of Three Problem-Solving Methods Ranan B. Banerji, George W. Ernst

IJCAI 1977 A Theory for the Complete Mechanization of a GPS-Type Problem Solver Ranan B. Banerji, George W. Ernst

IJCAI 1973 A Definition-Driven Theorem Prover George W. Ernst

IJCAI 1971 Changes in Representation Which Preserve Strategies in Games Ranan B. Banerji, George W. Ernst