·2,447,543篇论文数据，部分数据来源于NoteExpress
Two graphical methods used in first-order predicate logical reasoning, that is goal-guiding graphical reasoning method and transition frame graphical reasoning method, are presented.
提出了两种用于一阶谓词逻辑推理的图形方法：目标制导的图形推理法和变迁框图形推理法。
Finally, there are those who oppose identifying a time frame for our transition to Afghan responsibility.
最后，有人反对我们制定一个将责任移交给阿富汗方面的时间表。
A stream can transition from this state to "closed" by sending a frame that contains an END_STREAM flag, or when either peer sends a RST_STREAM frame.
这种状态下，当流发送一个带有终止流end_stream标记的帧或者某个终端发送了一个RST_STREAM帧，流将转换到“关闭”状态。
应用推荐