Edinburgh Research Explorer

Automating inductive proof

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

Standard

Automating inductive proof. / Bundy, Alan.

Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. ed. / M Baaz; S Hetzl. Vienna, Austria : Vienna Summer of Logic, 2014. p. 19.

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

Harvard

Bundy, A 2014, Automating inductive proof. in M Baaz & S Hetzl (eds), Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. Vienna Summer of Logic, Vienna, Austria, pp. 19.

APA

Bundy, A. (2014). Automating inductive proof. In M. Baaz, & S. Hetzl (Eds.), Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic (pp. 19). Vienna, Austria: Vienna Summer of Logic.

Vancouver

Bundy A. Automating inductive proof. In Baaz M, Hetzl S, editors, Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. Vienna, Austria: Vienna Summer of Logic. 2014. p. 19

Author

Bundy, Alan. / Automating inductive proof. Perspectives on Induction: Special session of the Logic Colloquium at the Vienna Summer of Logic. editor / M Baaz ; S Hetzl. Vienna, Austria : Vienna Summer of Logic, 2014. pp. 19