temporal logics

网络释义

1.	第三章 ...前面第二章( Modeling System )、第三章( Temporal Logics )的铺陈，在描述好一个System的Kripke Structure、以及所期望此… ctld.nthu.edu.tw

释义:

第三章

随便看

英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。