Experiments with proof plans for induction
Alan Bundy, Frank Harmelen, Jane Hesketh, Alan SmaillVolume:
7
Year:
1991
Language:
english
Pages:
22
DOI:
10.1007/bf00249016
File:
PDF, 1.20 MB
english, 1991