It is sometimes also used to refer to tense logic, a modal logic-based system of temporal logic introduced by Arthur Prior in the late 1950s.
AmirPnueli在1977年提出使用时态逻辑来公式化频繁操作并发程序的行为。
Amir Pnuelli proposed the use of temporal logic to formalise the behaviour of continually operating concurrent programs in 1977.
优步未来时态是由Slate、新美国和亚利桑那州立大学组成的伙伴关系,研究新兴技术、公共政策和社会。
Future Tense is a partnership between Slate, New America and Arizona State University, which examines emerging technologies, public policy and society.
By developing and applying temporal GIS methods to glaciology, I can contribute to improved spatio-temporal analysis techniques for studying the polar environment and glaciers.
English
Bahasa indonesia
日本語
عربى
Български
বাংলা
Český
Dansk
Deutsch
Ελληνικά
Español
Suomi
Français
עִברִית
हिंदी
Hrvatski
Magyar
Italiano
Қазақ
한국어
മലയാളം
मराठी
Bahasa malay
Nederlands
Norsk
Polski
Português
Română
Русский
Slovenský
Slovenski
Српски
Svenska
தமிழ்
తెలుగు
ไทย
Tagalog
Turkce
Українська
اردو
Tiếng việt