精心制作(或计划)( elaboration的名词复数 );精致;详尽(阐述);精心完成的东西;
Completely automated theorem provers, such as model checkers, operate on an abstraction of the problem., as a whole, is comprehensive by taking in all kinds of factors in consideration, but too abstract and inoperative without further elaborations.
象模型检查程序这种完全自动化的定理证明程序是在问题的一个抽象上操作。总体来说,此类标准涉及因素全面,但过于抽象概括,具有多解性,可操作性不强。
He gave some technical elaborations of his 1854 paper.
他对他的1854年的文章作了某些技术性的加工.
To correct this impression, we need some elaborations.
看来还得先从这里说起.
The elaborations of the plot made it a difficult book to read.
这本书因内容节外生枝而很难懂.
微语录 · 生活常识
微语录 · 个性签名
微语录 · 句子大全
微语录 · 经典语录
微语录 · 爱情句子