Login / Signup
Diane Resek
Publication Activity (10 Years)
Years Active: 2015-2017
Publications (10 Years): 2
Top Topics
Theorem Prover
Information Retrieval
Mathematics Education
Top Venues
CoRR
FLAP
</>
Publications
</>
María Manzano
,
Nitsa Movshovitz-Hadar
,
Diane Resek
Leon Henkin: A Logician's View on Mathematics Education.
FLAP
4 (1) (2017)
Diane Resek
,
Dan Fendel
Transitioning to Proof.
CoRR
(2015)