temporal logic是什么意思，释义 -生物医药大词典

您现在的位置：生物医药大词典 >> 通用词典 >> 词汇解释: temporal logic


temporal logic	分享到：
【计】时序逻辑, 时态逻辑, 暂时逻辑
分类：通用词汇 \| 查看相关文献(pubmed) \| 免费全文文献
详细解释：

以下为句子列表：英文: For seminal work introducing temporal logic into computing science and for outstanding contributions to program and systems verification. 中文: 他将时序逻辑引入计算机科学，为程序和系统的检测验证方面提供一种有力的工具。更详细...
分享到：

赞助商链接

你知道它的英文吗？

·【医】颞动脉炎

·【医】颞骨

·【医】颧颞管

·【化】时间相干性

·【医】颞间径

·【经】时间分布, 时间序列

·【医】颞叶性癫痫

·【医】颞沟

你知道中文意思吗？

·temporal logic language

·temporal logic specification

·temporal method

·temporal orientation

·temporal retina

·temporal ridge

·temporal sphere of validity

·temporale operculum

·常用8000词汇
·分子生物学词汇
·遗传学词汇
·内科学词汇
·药理学词汇

成为编辑 - 词典APP下载 - 关于 - 推荐 - 手机词典 - 隐私 - 版权 -链接 - 联系 - 帮助
©2008-至今生物医药大词典- 自2008年3月1日开始服务由生物谷www.bioon.com团队研发
沪ICP备14018916号-1