您要查找的是不是：
- A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux (analytic tableaux) have been proposed. 信念修正，由于新信息而调整信仰的过程，是应用溯因法的另一个领域。
- A LABELED SEQUENT CALCULUS FOR INTERVAL TEMPORAL LOGIC 区间时序逻辑的标记相继式演算
- sequent calculus 矢列式演算
- He win the game for sequent three years. 他连续三年赢得比赛。
- There are many difficulties in the sequent jobs. 接下来的工作中会有很多困难。
- In sequent toil all forwards do contend. 前推后拥，一个个在奋勇争先。
- Calculus is over the heads of most students. 微积分对大多数学生来说太难学了。
- My calculus TA is a PhD student. 我的微积分助教是博士班的学生。
- NOTATIONS AND TERMINOLOGY OF TENSORIAL CALCULUS. 符号。张量计算的符号和术语。
- This is a problem where calculus won't help at all. 对于这一题，微积分一点也用不上。
- I had studied calculus before I got into college. 我在上大学以前,已经学过微积分。
- Is this differential calculus or integral calculus? 这是微分还是积分?
- That's the way calculus presents. 当然这是微积分的作用啦。
- Calculus and mathematical models II. 微积分与数学模型2。
- He signed up for the Calculus 403. 他登记上微积分403这门课。
- In the sequent ten years, he travelled almost the whole country. 在接下来的十年里他差不多走遍了整个国家。
- Can we prevent dental calculus and odontolith? 病人：牙垢和牙石可以预防吗？
- What are dental calculus and odontolith? 病人：什么是牙垢和牙石？
- This disturbs the sequent colorimetric determination seriously. 严重干扰后续比色测定。
- How to remove the dental calculus and odontolith? 病人：怎样除去牙垢和牙石呢？
