... back and forth; in and out 一来一往 back-and-forth method 尝试法 back-and-forth mode 前后扫描方式 ...
基于4个网页-相关网页
以上来源于: WordNet
Back-and-forth method is an important tool for studying model theory and its application.
向前向后方法是模型论及其应用研究中的一个很重要的工具。
Back and forth method is a new tool in study of model theory and its application. This paper construct short proofs for two theorems in modal logic by back and forth method.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
Back and forth method is a new tool in study of model theory and its application.
向前向后方法是模型论及其应用研究中的一个新的工具。
应用推荐