The Role and Use of Examples in Learning to Prove

---

Özgür Z., Knuth E.(Yürütücü), Ellis A.(Yürütücü), Zaslavsky O.(Yürütücü)

Diğer Uluslararası Fon Programları, 2012 - 2017

• Proje Türü: Diğer Uluslararası Fon Programları
• Başlama Tarihi: Eylül 2012
• Bitiş Tarihi: Ağustos 2017