Induction by a Hilbert hypercure representation.
Publisher: Aston University. Department of Computer Science andApplied Mathematics
Published: 1991
Place of publication: Birmingham
Language: eng
Notes: Thesis(PhD) - Aston University, 1991.