|
A formal definition of proposition formulae was provided by context-free grammar, and the conversion from proposition formulae to polynomials was solved automatically.
|
|
|
摘要该文将命题逻辑的定理证明转换为多项式方程的求解问题，从而提出了一种基于非子句的代数化方法。 |
|
A formal expression of praise; a tribute.
|
|
|
赞（颂）词赞扬的正式表述；颂词 |
|
A formal indication by a debtor of willingness to pay a time draft or bill of exchange.
|
|
|
承兑，认付负债人的正式表明愿意偿还一定期汇票或汇票 |
|
A formal justification or defense.
|
|
|
正式辩解，正式辩护 |
|
A formal meeting or reception presided over by a sovereign.
|
|
|
御前会议由国王主持的正式会议或招待会 |
|
A formal notice filed by an interested party with a court or officer, requesting the postponement of a proceeding until the filer is heard.
|
|
|
中止诉讼的申请由利益相关方向法院或官员提交的书面通知，要求在倾听提议人的意见前延缓诉讼程序 |
|
A formal notice period of one year will be required in the event of termination by any of the partners.
|
|
|
如果任何合伙人的终止发生，需要一个一年期限的正式通知。 |
|
A formal statement by a plaintiff specifying the facts and circumstances constituting his or her cause of action.
|
|
|
诉词，陈述状原告就构成其采取行动的事实和情况作出的正式申述 |
|
A formal wedding commands respect especially if the cere-mony is in a traditional tem-ple or cathedral.
|
|
|
正式的婚礼需要的是尊重，尤其当婚礼是在一个传统的寺庙或者大教堂举行的时候。 |
|
A formal writing system, known as the Early Indus script, emerged in this phase, as evinced by its appearance on numerous pottery fragments and in impressions that a seal, or stamp, made in clay.
|
|
|
印度河文明早期文字的正式书写体系也在此时诞生，从陶器碎片上和图章在黏土上盖出的印记里，都可以证明。 |
|
A formal written composition intended to be published, presented, or read aloud; a scholarly essay or treatise.
|
|
|
学术论文一篇写好的正式著作，为了出版、讲演或宣读；学术文章或论文 |
