Edinburgh Research Explorer

Scheme-Based Synthesis of Inductive Theories

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Standard

Scheme-Based Synthesis of Inductive Theories. / Montano-Rivas, O.; McCasland, R.; Dixon, L.; Bundy, Alan.

Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. ed. / Grigori Sidorov; Arturo Hernández Aguirre; Carlos Alberto Reyes García. Springer-Verlag GmbH, 2010. p. 348-361 (Lecture Notes in Computer Science; Vol. 6437).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Montano-Rivas, O, McCasland, R, Dixon, L & Bundy, A 2010, Scheme-Based Synthesis of Inductive Theories. in G Sidorov, AH Aguirre & CAR García (eds), Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Lecture Notes in Computer Science, vol. 6437, Springer-Verlag GmbH, pp. 348-361. DOI: 10.1007/978-3-642-16761-4_31

APA

Montano-Rivas, O., McCasland, R., Dixon, L., & Bundy, A. (2010). Scheme-Based Synthesis of Inductive Theories. In G. Sidorov, A. H. Aguirre, & C. A. R. García (Eds.), Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I (pp. 348-361). (Lecture Notes in Computer Science; Vol. 6437). Springer-Verlag GmbH. DOI: 10.1007/978-3-642-16761-4_31

Vancouver

Montano-Rivas O, McCasland R, Dixon L, Bundy A. Scheme-Based Synthesis of Inductive Theories. In Sidorov G, Aguirre AH, García CAR, editors, Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. Springer-Verlag GmbH. 2010. p. 348-361. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-642-16761-4_31

Author

Montano-Rivas, O. ; McCasland, R. ; Dixon, L. ; Bundy, Alan. / Scheme-Based Synthesis of Inductive Theories. Advances in Artificial Intelligence: 9th Mexican International Conference on Artificial Intelligence, MICAI 2010, Pachuca, Mexico, November 8-13, 2010, Proceedings, Part I. editor / Grigori Sidorov ; Arturo Hernández Aguirre ; Carlos Alberto Reyes García. Springer-Verlag GmbH, 2010. pp. 348-361 (Lecture Notes in Computer Science).