... 后期出现的 Magic Set 算法保持了自顶向下与底向上的优点,并且避免了两者的缺点。 ... 主要工作 Z. Manna 和 R. Waldinger 的 Tableau 方法是一种较典型的基于演绎 ...
確定! 回上一頁