Edinburgh Research Explorer

IsaCoSy: Synthesis of Inductive Theorems

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

Standard

IsaCoSy: Synthesis of Inductive Theorems. / Johansson, Moa; Dixon, Lucas; Bundy, Alan.

Workshop on Automated Mathematical Theory Exploration (Automatheo). 2009.

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

Harvard

Johansson, M, Dixon, L & Bundy, A 2009, IsaCoSy: Synthesis of Inductive Theorems. in Workshop on Automated Mathematical Theory Exploration (Automatheo). AUTOMATHEØ Workshop on Automated Mathematical Theory Exploration 2009, Hagenberg, Austria, 29/06/09.

APA

Johansson, M., Dixon, L., & Bundy, A. (2009). IsaCoSy: Synthesis of Inductive Theorems. In Workshop on Automated Mathematical Theory Exploration (Automatheo)

Vancouver

Johansson M, Dixon L, Bundy A. IsaCoSy: Synthesis of Inductive Theorems. In Workshop on Automated Mathematical Theory Exploration (Automatheo). 2009.

Author

Johansson, Moa ; Dixon, Lucas ; Bundy, Alan. / IsaCoSy: Synthesis of Inductive Theorems. Workshop on Automated Mathematical Theory Exploration (Automatheo). 2009.