A heuristic for case analysis /
Pientka, Brigitte.
University of Edinburgh.Department of Artificial Intelligence.
Edinburgh : University of Edinburgh, Dept. of Artificial Intelligence,
1995.
Includes bibliographical references.
Automatic theorem proving.
Induction (Mathematics)