proof by recursion
proof by recursion是什么意思、proof by recursion怎么读
【计】 递归证明
proof by recursion汉语翻译
【计】 递归证明