“时间形式化表示法”的概念、定义、翻译、参考文献-科学参考

单词	时间形式化表示法
释义	时间形式化表示法 Encyclopedia 文学计算语言学释 formal representation of time时间形式化表示法在一阶谓词演算中，采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。
随便看	radiation attenuation radiation background radiation background processing radiation balance radiation balance meter radiation band radiation band; radiation belt radiation belt radiation belt of the Earth radiation belts of the Earth radiation biochemistry radiation biological dose radiation biological effect radiation biological effectiveness radiation biology radiation breeding radiation breeding in trees radiation breeding of mulberry radiation breeding of peanut radiation breeding of silkworm radiation budget at the top of the atmosphere radiation bulk polymerization radiation-burn combined injuries radiation calculation radiation calorimeter

科学参考收录了854744条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。