So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult.

 
  • 因此,在本例中,您可以根本不用时态逻辑断言就能完成任务,但会困难得多。
今日热词
目录 附录 查词历史