查询词典 proof leaf

That I shall not discuss, and perhapscannot account for; but certainly they are a proof of the converseof spirits, and a secret communication between those embodied andthose unembodied, and such a proof as can never be withstood; ofwhich I shall have occasion to give some remarkable instances inthe remainder of my solitary residence in this dismal place.

他这才放心，又赶紧回来。这时我对西班牙人说，让星期五扶他走到小船上去，然后坐船到我们的住所，这样我可照顾他。不料星期五力大无比，一下子把那西班牙人背在身上，向小船那边走去。

In this paper, a method from the basic matrix of MU(1) formula is used to prove that a tree resolution proof for an unsatisfiable formula F can be transformed into a homomorphism proof from a MU(1) formula for F.

利用基础矩阵的方法证明了：一个不可满足公式 F 的树消解证明，可以在多项式时间内转换成一个来自 MU(1)中公式的同态证明。

With ZINK Zero Ink printing technology from Zink Imaging, this sleek and stylish instant mobile printer prints smudge-proof, water-resistant and tear-proof photo in about 60 seconds without a drop of ink.

与zink零油墨印刷技术从zink成像，这圆滑和时尚的即时移动印表机列印防污渍证明，耐水性和催泪证明，照片，在约60秒，没有一个辍学的油墨。

Analysis is made on current water-proof materials and LECB water-proof sheets are prepared by three-roller calendering process.

随着我国城市建设和城际交通的大力发展，尤其是地下铁路建设的大规模开展，对地下工程防水材料的需求也随之扩大，同时也对防水材料提出了新的、更高的要求。

Sponge filter mesh is frothed by polyester and aether with 97% of porous.Polyester sponge has the excellent performance of oil-proof and attrition-proof.

海绵过滤网以聚酯和聚醚为主要材料，发泡而成，开孔率达到97%以上，聚酯型海绵具有优越的耐油，耐磨擦性能。

The first chapter illustrates that production burden is the derivation or reflection ofburden of proof through the analysis of"double meaning doctrine about bur-den of proof"and at the same time introspects"double meaning doctrine aboutproduction burden monism".

第一章通过&'证明责任'双重含义说&的剖析，阐明提供证据责任是证明责任的派生或&投影&；同时对我国学者主张的&提供证据责任一元论的双重含义说&进行了反省。

Bio Armor Anti-bacterial Company is an international enterprise concentrating on design, detection,production and sales, engaging in the developing and expanding in the field of humidity proof, mildew proof and anti-bacterial. It has developed the BIO DRY, mold preventive, anti-bacterial preventive, positive ion anti-mildew packing paper and all kinds of anti-mildewpackaging, and has resolved the problem of damping, mildewing and smelling strangely of leather products,textile, furniture, toy and precise electronic products. It provides effective guarantee for the transportation and storage of the exported products and obtains the fame of protection god of international trade

贝傲有限公司是一家集设计、检测、生产、销售于一体国际化企业，并致力于防潮，防霉，抗菌领域的研发推广，开发了 BIO DRY 生化干燥剂，防霉抗菌剂，阳离子防霉包装纸及各类防霉包装，解决了皮革制品、纺织品、家具、玩具、高精电子制品的受潮、霉变、产生异味的困扰，为出口产品的运输，仓储提供了有效的保障，被誉为出口贸易的保护神。

In chapter three,that is the basic content of burden of proof,firstly,the dissertation totally repudiates the view that case facts are the object of bur-den of roof and also maintains that the objects of burden of proof of Chinais requirement facts.

在第三章证明责任基本内容中，其一，对案件事实作为证明责任对象的观点进行了全面否定，并认为我国证明责任对象为要件事实；其二，在比较两大法系证明责任适用条件的基础上，对我国证明责任适用条件所涉及的理论基础和条件进行了新的解释；其三，主张证明责任的性质是一种法定的风险分配，并与当事人的诉讼活动无关；其四，主张在当事人主义和职权主义诉讼中都存在着适用证明责任裁判的可能性。

Of course this way of showing that the propositions of logic are tautologies is not at all essential to logic, if only because the propositions from which the proof starts must show without any proof that they are tautologies.

意义。但是对于等式来说，具有根本意义的一点是：为了显示用等号连接的两个表达式有相同的指谓，等式并非必要，因为这一点从两个表达式本身即可以看出来。

More and more seismic damages have attracted more and more experts, at home and abroad, to study on collapse-proof systems, and acquire many achievements, but there are many problems about new damping material and restrainers'study, the mechanical ability of restrainers and unseating prevention devices, the design methods of the collapse-proof system etc.

但是在限位装置的设计方法、连梁装置的设计及实用化、缓冲装置的研究与开发等方面还有许多问题，并且此系统的研究在国内还处于空白阶段，虽然有些工程应用，还仅仅是定性的使用，没有相应的计算理论，更没有与国内抗震规范相适应的计算方法。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。