arrow
返回
A

Andrew Stevens

机构信息待补充

9H指数
23论文数
464被引数
收录论文 1
发表时间
RIPPLING - A HEURISTIC FOR GUIDING INDUCTIVE PROOFS
err1993-08-01
err89
errOAAI
errBUNDY, A; STEVENS, A; VANHARMELEN, F; IRELAND, A; SMAILL, A
err分享
err收藏