 |
Terms containing computational tree logic | all forms | exact matches only | in specified order only
| Subject | English | Russian |
| progr. | computational tree logic | логика ветвящегося времени (ssn) |
| AI. | computational tree logic model | темпоральная модель ветвящегося времени (русс. перевод взят из статьи: Куриленко И.Е., Еремеев А.П. Реализация вывода в темпоральных моделях ветвящегося времени // Известия Академии наук. Теория и системы управления 107-127. Alex_Odeychuk) |