Edinburgh Research Explorer

Scheme-based theorem discovery and concept invention

Research output: Contribution to journalArticle

Standard

Scheme-based theorem discovery and concept invention. / Montano-Rivas, Omar; McCasland, Roy; Dixon, Lucas; Bundy, Alan.

In: Expert Systems with Applications, Vol. 39, No. 2, 2012, p. 1637-1646.

Research output: Contribution to journalArticle

Harvard

Montano-Rivas, O, McCasland, R, Dixon, L & Bundy, A 2012, 'Scheme-based theorem discovery and concept invention', Expert Systems with Applications, vol. 39, no. 2, pp. 1637-1646. https://doi.org/10.1016/j.eswa.2011.06.055

APA

Montano-Rivas, O., McCasland, R., Dixon, L., & Bundy, A. (2012). Scheme-based theorem discovery and concept invention. Expert Systems with Applications, 39(2), 1637-1646. https://doi.org/10.1016/j.eswa.2011.06.055

Vancouver

Montano-Rivas O, McCasland R, Dixon L, Bundy A. Scheme-based theorem discovery and concept invention. Expert Systems with Applications. 2012;39(2):1637-1646. https://doi.org/10.1016/j.eswa.2011.06.055

Author

Montano-Rivas, Omar ; McCasland, Roy ; Dixon, Lucas ; Bundy, Alan. / Scheme-based theorem discovery and concept invention. In: Expert Systems with Applications. 2012 ; Vol. 39, No. 2. pp. 1637-1646.