arrow
返回
R

Richard Bornat

机构信息待补充

17H指数
95论文数
1.5K被引数
收录论文 2
发表时间
Computer tools to teach formal reasoning
err1996-08-01
err4
PREAI
errFung, P; OShea, T; Goldson, D; Reeves, S; Bornat, R
err分享
err收藏