首页 / 词典 / good

大家在搜： sequential access Sequential Access Memory sequential analysis Sequential Circuits sequential coding Sequencing Analysis sequence rule sequence polymorphism sequence family Sequence Effects

Sequent calculus

美 [ˈsikwənt ˈkælkjələs]英 [ˈsiːkwənt ˈkælkjələs]

网络相继式演算

Sequent calculus

Sequent calculus

双语例句

1

A labeled sequent calculus for interval temporal logic

区间时序逻辑的标记相继式演算
2

In this paper , the authors briefly describe the semantic encoding approach , and the sequent calculus , as well as the related implementation techniques of the DC / P.

该文介绍了DC/P的语义编码方法、采用的相继式证明系统及实现技术，并给出了应用实例。

热门查询

sequential access Sequential Access Memory sequential analysis Sequential Circuits sequential coding sequential sampling Sequential Storage sequestrum Seraphinite Serapis Sequencing Analysis sequence rule sequence polymorphism sequence family Sequence Effects sequence data septomarginal trabecula septicshock septicemia of newborn septic tank