Edinburgh Research Explorer

Formalising Term Synthesis for Isacosy

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

Standard

Formalising Term Synthesis for Isacosy. / Johansson, Moa; Dixon, Lucas; Bundy, Alan.

Workshop on Automated Mathematical Theory Exploration (Automatheo). Automatheo - IJCAR 2010 , 2010.

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

Harvard

Johansson, M, Dixon, L & Bundy, A 2010, Formalising Term Synthesis for Isacosy. in Workshop on Automated Mathematical Theory Exploration (Automatheo). Automatheo - IJCAR 2010 .

APA

Johansson, M., Dixon, L., & Bundy, A. (2010). Formalising Term Synthesis for Isacosy. In Workshop on Automated Mathematical Theory Exploration (Automatheo) Automatheo - IJCAR 2010 .

Vancouver

Johansson M, Dixon L, Bundy A. Formalising Term Synthesis for Isacosy. In Workshop on Automated Mathematical Theory Exploration (Automatheo). Automatheo - IJCAR 2010 . 2010.

Author

Johansson, Moa ; Dixon, Lucas ; Bundy, Alan. / Formalising Term Synthesis for Isacosy. Workshop on Automated Mathematical Theory Exploration (Automatheo). Automatheo - IJCAR 2010 , 2010.