您现在的位置:生物医药大词典 >> 英汉双语句子大全 >> 的意思
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 assertion of validity. 这种有问题的主张肯定会招致非议。
A formal ceasefire line has yet to be established since the war but the unsettled border has remained largely peaceful following agreements signed in 1993 and 1996. 战后的一条停火线已经正式划定,其余未划定的边界将按1993年和1996年签订的合约和平开展。
A formal contest of argumentation in which two opposing teams defend and attack a given proposition. 辩论比赛在正式的辩论竞赛中,两个对立的队就一给定的命题进行辩论。
A formal dance held for a high-school or college class typically at or near the end of the academic year. 班级舞会常在学年结束或将近结束时高年级或大学生开的正式舞会
A formal declaration made to authoritative witnesses to ensure legal validity. 正式确认向有权威的证人正式确认以保证法律上的有效性
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. 中止诉讼的申请由利益相关方向法院或官员提交的书面通知,要求在倾听提议人的意见前延缓诉讼程序
 
你知道它的英文吗?
你知道中文意思吗?
热门分类


成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今 生物医药大词典- 自2008年3月1日开始服务 生物谷www.bioon.com团队研发
沪ICP备14018916号-1