arrow
返回
A

Andrew Ireland

机构信息待补充

14H指数
81论文数
1.3K被引数
收录论文 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收藏