ML Anthology

Peterson, Gerald E.

2 publications

AAAI 1990 Solving Term Inequalities Gerald E. Peterson
AAAI 1980 A Technique for Establishing Completeness Results in Theorem Proving with Equality Gerald E. Peterson