“formal representation of time”的概念、定义、翻译、参考文献-科学参考

单词	formal representation of time
释义	formal representation of time Encyclopedia 文学计算语言学释 formal representation of time时间形式化表示法在一阶谓词演算中，采用时间逻辑和时态逻辑从语义的角度表示时间的形式化表示方法。
随便看	Yaquan Magazine Yaqub Incident Yaqui Yaqui Wars Yaqutan yard yardang in China yardangs yard line yardstick Ya. Remes Yaren Yarkand Hare Yarkand Khan Yarkant He Yarkant He Endemic Fish National Aquatic Germplasm Resources Reserve Yarkant river irrigation district Yarkovsky effect Yarl Lake grottoes yarlongite Yarlung Zangbo Daxiagu Yarlung Zangbo Daxiagu Guojiaji Ziran Baohuqu Yarlung Zangbo Daxiagu Pubuqun Yarlung Zangbo Jiang Yarlung-Zangbo Suture Zone

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