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.

Generic Proving : Reflections on scope and method. / Leron, Uri; Zaslavsky, Orit.

The Best Writing on Mathematics 2014. ed. / M. Pitici. Princeton University, 2014. p. 198-215.

Research output: Chapter in Book/Report/Conference proceedingChapter

Leron, U & Zaslavsky, O 2014, Generic Proving: Reflections on scope and method. in M Pitici (ed.), The Best Writing on Mathematics 2014. Princeton University, pp. 198-215.
Leron U, Zaslavsky O. Generic Proving: Reflections on scope and method. In Pitici M, editor, The Best Writing on Mathematics 2014. Princeton University. 2014. p. 198-215
Leron, Uri ; Zaslavsky, Orit. / Generic Proving : Reflections on scope and method. The Best Writing on Mathematics 2014. editor / M. Pitici. Princeton University, 2014. pp. 198-215
@inbook{6c96e6d1ddfc4e10b99ad7b7df781c96,
title = "Generic Proving: Reflections on scope and method",
author = "Uri Leron and Orit Zaslavsky",
year = "2014",
language = "English (US)",
pages = "198--215",
editor = "M. Pitici",
booktitle = "The Best Writing on Mathematics 2014",
publisher = "Princeton University",

}

TY - CHAP

T1 - Generic Proving

T2 - Reflections on scope and method

AU - Leron, Uri

AU - Zaslavsky, Orit

PY - 2014

Y1 - 2014

M3 - Chapter

SP - 198

EP - 215

BT - The Best Writing on Mathematics 2014

A2 - Pitici, M.

PB - Princeton University

ER -