Edinburgh Research Explorer

Meta-Level Inference: Two Applications

Research output: Contribution to journalArticle

Standard

Meta-Level Inference: Two Applications. / Bundy, Alan; Sterling, L.

In: Journal of Automated Reasoning, Vol. 4, No. 1, 1988, p. 15-27.

Research output: Contribution to journalArticle

Harvard

Bundy, A & Sterling, L 1988, 'Meta-Level Inference: Two Applications', Journal of Automated Reasoning, vol. 4, no. 1, pp. 15-27. https://doi.org/10.1007/BF00244511

APA

Bundy, A., & Sterling, L. (1988). Meta-Level Inference: Two Applications. Journal of Automated Reasoning, 4(1), 15-27. https://doi.org/10.1007/BF00244511

Vancouver

Bundy A, Sterling L. Meta-Level Inference: Two Applications. Journal of Automated Reasoning. 1988;4(1):15-27. https://doi.org/10.1007/BF00244511

Author

Bundy, Alan ; Sterling, L. / Meta-Level Inference: Two Applications. In: Journal of Automated Reasoning. 1988 ; Vol. 4, No. 1. pp. 15-27.