arrow
返回
P

Paola Iannone

université de montreal

17H指数
101论文数
744被引数
收录论文 10
发表时间
err分享
err收藏
Does generating examples aid proof production?
err2011-01-21
err38
PREAI
errIannone, Paola; Inglis, Matthew; Mejia-Ramos, Juan Pablo; Simpson, Adrian; Weber, Keith
err分享
err收藏