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.
向前向后方法是模型论及其应用研究中的一个新的工具。本文使用向前向后方法，对模态逻辑的两个定理构造了一种简单的证明。
The IBM software engineers working on Lotus collaborative software have devised an ingenious method for replicating data on the fly back and forth between a Domino database and an Outlook PST file.
从事Lotus协作软件方面的IBM软件工程师们已经设计出了一个具有独创性的方法，用于动态地在Domino数据库与Outlook PST文件之间来回复制数据。
The paper takes Women as Lovers as an example to analyze the novel at the level of back-and-forth type structure and the snaking method, and applies the structure to the explanation of the theme.
本文以《逐爱的女人》为例，试图从往复式结构、蟠蛇章法等方面解析该小说的叙事方式，并阐释这种结构对小说主题所起的独特作用。
This article looks back on the prototype research and development summary at South Aeroengine Company and set forth the existing problems with the net working method.
本文回顾了南方公司新机研制概况，阐述了网络工作法存在的问题。
Use Method: Hold the handle with hands, put the leg on the rolling wheel and move back and forth.
使用方法：手握把手，将腿放在滚轮上前后滚动。
Use Method: Hold the handle with hands, put the leg on the rolling wheel and move back and forth.
使用方法：手握把手，将腿放在滚轮上前后滚动。
应用推荐