交互时态认知逻辑(ATEL)是对交互时态逻辑(ATL)的扩展,但是它只刻画了知识,没有探讨信念的刻画问题.
基于20个网页-相关网页
测试结果录制成录像带，送到加拿 大先进电视评价实验室（ATEL）进行质量评 价。在ATTC也能做电视质量评价，并接受外 界的一些评价任务，但ATEL条件更好，所以 ATV制式比较的评价结果都在ATEL。
基于16个网页-相关网页
... 急性毒性 acute toxicity 急性毒性接触极限 acute-toxicity exposure limit；ATEL 麻醉效应 anaesthetic effect ...
基于1个网页-相关网页