查询词典 sorted

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

Consists of baled sorted, fresh dry newspapers, not sunburned, free from magazines, white blank, pressroom over-issues, and paper other than news, containing not more than the normal percentage of rotogravure and coloured sections.

此类旧报纸既没有受太阳光的曝晒，不含杂志、空白纸张、印刷厂过期报刊和其他杂废纸，其凹印和彩色部分不超过正常数量。

Consists of baled sorted, fresh newspapers, not sunburned, free from magazines, white blank, pressroom over-issues, and paper other than news, containing not more than the normal percentage of rotogravure and coloured sections.

特级旧报纸：经过拣选且不受潮的废报纸，打包供货。此类旧报纸既没有受太阳光的曝晒，不含杂志、空白纸张、印刷厂过期报刊和其他杂废纸，其凹印和彩色部分不超过正常数量。

Fig. 3 shows that in order to navigate to a related record, the secondary key is used to find the primary key in an index file, which contains a sorted list of keys and physical addresses for each table record.

无花果。 3表明，以切换到了相关的记录，中学主要是用来寻找的首要关键，在一个索引文件，其中包含一个排序名单钥匙和物理地址，每个表记录。

You know the time has come to get that sorted and you can't waver and procrastinate any longer.

你知道现在是整顿的时候了，你已经无法再动摇和拖延。

Use a debugger and profiler to ensure that you've sorted out any bottlenecks in your code.

使用调试器和profiler来确信你已经在你的代码中排序列出了所有的瓶颈。

The publications sorted by last name of first author,part of the recorde give full text browse.

记录按照出版物第一作者姓氏的首字母排列，部分记录提供全文浏览。

In most cases, they are not sorted and presented in relevancy to the content, and this could very well affect the result in ?

在大多数情况下，他们没有提出相关的分类内容这很可能造成影响？

I asked for a contract renegotiation to be sorted out before July 12 because I didn't want to start pre-season training with other worries in my head.

我与俱乐部之间没有战争，他说，我要求对合同进行谈盘，在7.12的时候，我不想赛前的训练收到任何的影响。

An issue was raised with its contents that should be sorted before I repost it.

版主，请删除以前的帖子。+在我转贴之前，内容出现了问题，它需要分类。

There had been a moment during the breakfast meeting, though, after the backslapping and the small talk and when all of us were seated, with Vice President Cheney eating his eggs Benedict impassively and Karl Rove at the far end of the table discreetly checking his BlackBerry, that I witnessed a different side of the man.

那次早餐会期间，在表示过关心和寒暄以后，我们所有人坐了下来，我注意观察了一下，副总统切尼面无表情地吃着班尼迪克蛋（Eggs benedict，源自美国，以英式松饼、火腿、水煮蛋以及荷兰酱组合而成），卡尔。罗夫在餐桌的远端谨慎地经常查看他的黑莓手机，我目睹了他所不为人知的一面。

Talk Undelete failed; someone else may have undeleted the page first.

Talk 无法删除选定的页面或图像（它可能已经被其他人删除了）。