Suggested Topics within your search.
Suggested Topics within your search.
Time ontology
1
UDC 004.94
1
process model
1
tabular interpretation of temporal operators; time domain; checking model; defining the dynamics of the web service; linear temporal logic
1
temporal extension of descriptive logic
1
УДК 004.94
1
лінійна темпоральна логіка
1
онтології часу
1
опис динаміки веб-сервісу
1
перевірка моделі сервісу
1
процесна модель веб-сервісу
1
таблична інтерпретація темпоральних операторів
1
темпоральне розширення дескриптивної логіки
1
темпоральні оператори
1
часовий домен
1
Search alternatives:
"temporal extension of descriptive logic" » "temporal extension of description logic" (Expand Search)
"temporal extension of descriptive logic" » "temporal extension of description logic" (Expand Search)
-
1