外汇的最后承兑人 residual acceptor of foreign exchange
售后承诺 After-sales commitment ; Commitment ; After-sales
爱的最后承诺 The Last Word You Said
逻辑后承 logical consequence
后承态 [数] consequent state
最后承运人 [交] final carrier
然后承认和 and then confessed to
语义后承 Semantic Consequence
俟日后承兑的收款 [金融] collection with subsequent acceptance
This relation about the following is taken as relation of consequence.
而这种得出关系就被称之为后承关系。
参考来源 - 论逻辑后承与逻辑真·2,447,543篇论文数据,部分数据来源于NoteExpress
实质上适当,即所有(t)形等值式是该定义的逻辑后承。
The adequacy condition require that all the equivalence of the form (t) should are logical consequence of this definition.
建立意图后承的形式化推理系统是意图形式化研究中的一个重要课题。
To establish a formal inferential system of intention consequences is an important issue in the formal study of intention.
有效地处理属性论的分级现象,后承式的推理方法被引入至计算中,结果形成属性论的一个新的计算框架。
We introduce the notion of sequent to the computation, and it results a new computing frame in the research.
应用推荐