Edinburgh Research Explorer

Psychological validity of schematic proofs

Research output: Chapter in Book/Report/Conference proceedingChapter

Standard

Psychological validity of schematic proofs. / Jamnik, Mateja; Bundy, Alan.

Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Vol. LNCS 2605 Springer-Verlag GmbH, 2005. p. 321-341 (Lecture Notes in Computer Science; Vol. 2605).

Research output: Chapter in Book/Report/Conference proceedingChapter

Harvard

Jamnik, M & Bundy, A 2005, Psychological validity of schematic proofs. in Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. vol. LNCS 2605, Lecture Notes in Computer Science, vol. 2605, Springer-Verlag GmbH, pp. 321-341. https://doi.org/10.1007/978-3-540-32254-2_19

APA

Jamnik, M., & Bundy, A. (2005). Psychological validity of schematic proofs. In Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday (Vol. LNCS 2605, pp. 321-341). (Lecture Notes in Computer Science; Vol. 2605). Springer-Verlag GmbH. https://doi.org/10.1007/978-3-540-32254-2_19

Vancouver

Jamnik M, Bundy A. Psychological validity of schematic proofs. In Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Vol. LNCS 2605. Springer-Verlag GmbH. 2005. p. 321-341. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-540-32254-2_19

Author

Jamnik, Mateja ; Bundy, Alan. / Psychological validity of schematic proofs. Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. Vol. LNCS 2605 Springer-Verlag GmbH, 2005. pp. 321-341 (Lecture Notes in Computer Science).