Edinburgh Research Explorer

Meta-level inference in Algebra

Research output: Working paper

Standard

Meta-level inference in Algebra. / Bundy, Alan; Sterling, L.

1981. (DAI Research Paper 164).

Research output: Working paper

Harvard

Bundy, A & Sterling, L 1981 'Meta-level inference in Algebra' DAI Research Paper 164.

APA

Bundy, A., & Sterling, L. (1981). Meta-level inference in Algebra. (DAI Research Paper 164).

Vancouver

Bundy A, Sterling L. Meta-level inference in Algebra. 1981. (DAI Research Paper 164).

Author

Bundy, Alan ; Sterling, L. / Meta-level inference in Algebra. 1981. (DAI Research Paper 164).