Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
CS education
Publications
Autogenerating Natural Language Proofs for Proof Education
Seth Poulsen
,
Matthew West
and
Talia Ringer
EasyChair Preprint 8600
Copyright © 2012-2024 easychair.org. All rights reserved.