checkers

The checkers are very busy at the moment . I 'm afraid you 'll have to waif in line .

收款员现在很忙，恐怕您得排队等一会儿。

Completely automated theorem provers , such as model checkers , operate on an abstraction of the problem . , as a whole , is comprehensive by taking in all kinds of factors in consideration , but too abstract and inoperative without further elaborations .

象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。总体来说，此类标准涉及因素全面，但过于抽象概括，具有多解性，可操作性不强。

Modern word processors usually have spelling checkers and even grammar checkers .

现代文字处理器通常带有拼写检查功能，有的还有语法检查功能。

Chinese checkers is characterized by its hexagram-shaped board , which can accommodate up to 6 players .

跳棋ChineseCheckers跳棋的特点在于六边形的棋盘，最多可供6人游戏。

The main goal of Chinese checkers is to move all your marbles from your end to the opposite point of the star .

跳棋的主要游戏目标是把所有的弹珠从你的一端移到棋盘的另一端。

The certification is invalid without the signature of appraiser , checker and approver .

鉴定书无主检、审核、批准签字无效

The Effect of Checker Block on Gas Distribution and Heat Transfer

格子体堵塞对气流分布和传热的影响

An Auto-Body Checker Design Method and Its Application Based on Feature Mapping

基于特征映射的车身检具设计方法

The Research of Intrusion Detection and Recovery System Based on File Integrity Checker

基于文件完整性检验的入侵检测及恢复技术的研究

System File Checker has finished scanning your system files .

系统文件检查器已经完成扫描系统文件。

Alkaline Zn-MnO_2 Battery Automatic Checker System Design Based on Virtual Design

基于虚拟设计的碱锰电池自动检测系统的研究

System File Checker verifies the integrity of your system files .

系统文件检查器验证系统文件的完整性。

Development of spot checker testing communication control equipment

通信控制器现场检测仪研制

Evaluation on the iterative solution of large linear equation with modeling checker method

线性方程组迭代解的随机模型测试研究

Search Algorithm for Game of Checkers Based on Knowledge Inference

基于知识推理的博弈树搜索算法

System File Checker identified that the following file has been deleted .

系统文件检查器标识出下列文件已经删除。

The hydrodynamic analysis of flow induced vibration in checker plate of submarine

潜艇格子板流激振动水动力分析

Another difference : In checkers , every turn has a best move .

另一个不同之处在于：在西洋跳棋中，每一步都会有最好的选择。

Install a good virus checker before you go online .

对此，我们应该在上网前安装好病毒检查程序。

A bus protocol checker has been presented and implementation has been given .

文中提出了一种总线协议检验器的设计方法，并给出了具体的实现过程。

System version checker finds and fixes incorrect system file versions .

系统版本检查器可以发现并修补不正确系统文件的版本。

Not really . it 's a better game than checkers .

不太一样，它比跳棋好玩。

He used toe a fact checker at a publishing company .

他过去是一家出版社的审稿人。

Research on the Design of Programmability Checker of the Serial Pulse

可编程序列脉冲检测器的设计

System design of telephone code checker

电话号码查询器系统设计

This paper introduces an object semantics constraints checker .

本文介绍一个对象语义约束检验系统。

Internal event : the knowledge consistency checker task has terminated .

内部事件：终止了“知识一致性检查”任务。

Works cannot open grammar checker user dictionary file .

works无法打开语法检查程序的用户词典文件。

This also brings about a difference between Testers and Checkers .

这也引出了测试人员和检查人员的区别。

After blocking , the resistance of checker is slowly increased .

堵塞后，蓄热室的阻力损失变大，但是变化趋势缓慢。