arrow
返回
G

Gabriel J. Stylianides

university of oxford

0H指数
1论文数
0被引数
收录论文 7
发表时间
Generating and using examples in the proving process (vol 83, pg 323, 2013)
err2013-09-13
err0
errOAAI
errSandefur, J.; Mason, J.; Stylianides, G. J.; Watson, A.
err分享
err收藏
Generating and using examples in the proving process
err2012-12-29
err46
PREAI
errSandefur, J.; Mason, J.; Stylianides, G. J.; Watson, A.
err分享
err收藏
Proof constructions and evaluations证明结构和评估
err2009-03-06
err67
PREAI
errStylianides, Andreas J.; Stylianides, Gabriel J.
err分享
err收藏