查询词典 rosser

Early in 1952 Rosser and Turquette proposed the idea of distinguishing reliabilities of formulas in the propositional logic, and this idea was discussed and developed by many scholars from different points of view.

关于区分命题逻辑中公式可靠程度的思想早在1952年就由Rosser与Turequtte提出，多年来许多学者从不同的角度提出了确定这类公式真确程度的方法。

Contact Sanford Rosser and Associates for all your real estate needs.

桑福德与同伙联络了Rosser你所有房地产的需求。

The Rosser Charitable Trust is interested in Christian and Protestant organizations, as well as universtities and other forms of higher education.

慈善信托基金的罗瑟很感兴趣，基督教和新教组织，以及universtities和其他形式的高等教育。

Interested applicants should send a letter of intent to the The Rosser Charitable Trust.

有兴趣的申请人应发出一份意向书，在该罗瑟慈善基金。

What is it, rosser?

怎么了，罗瑟？

The Rosser Charitable Trust gives nationally to organizations and programs.

慈善信托基金的罗瑟给国家，组织和程序。

The Rosser Reeves lay claim to, while make advertise, most importance of is detection its USP, namely(1) have to include particular merchandise performance;(2) Must special of, unique of, novel of, and with sale related of.

Rosser Reeves主张，在制作广告时，最重要的是发现其USP，即（1）必须包含特定的商品效益；（2）须是独特的、唯一的、新颖的，且与销售相关的。

The Rosser Reeves put forward the core concept of product and also call core to sell point.

Rosser Reeves提出了产品的核心概念，也称核心卖点（即Unique Selling Proposition，简称USP，即独特的卖点主张/销售主张）。

Rosser, who co-authored a study suggesting that surgeons that played video games were faster and less prone to making mistakes than their non-game playing counterparts.

Rosser医生在一篇联合发表的报告中曾经表明玩电子游戏的外科医生要比不玩游戏的外科医生反应更快，更少犯错。

After the abstract syntax and the structural operational semantics of the ALT have been presented, The Church－Rosser property, strong normalization property and decidebility of the ALT's type system are proved.

在给出ALT语言的抽象语法和语义规则后，我们首先证明了ALT类型系统具有Church－Rosser性质，并在二阶λ-演算的环境中证明了强范式化特性。

If you are unfortunate enough to the lovelorn, please tell me, I will help you out, really, please contact me!

如果你不幸失恋了，请告诉我，我会帮助你摆脱困境，真的，请联系我啦！

China's plan to cut energy intensity by 20 percent and pollutant discharges by 10 percent between 2006 and 2010 is a case in point.

中国计划在2006年到2010间降低20%的能源强度和减少10%的主要污染物排放，就是一个这样的例子。