Generic Proving: Reflections on scope and method

Uri Leron, Orit Zaslavsky

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish (US)
Title of host publicationThe Best Writing on Mathematics 2014
EditorsM. Pitici
PublisherPrinceton University
Pages198-215
StatePublished - 2014

Cite this

Leron, U., & Zaslavsky, O. (2014). Generic Proving: Reflections on scope and method. In M. Pitici (Ed.), The Best Writing on Mathematics 2014 (pp. 198-215). Princeton University.