computational tree logic
| model
| computational tree logic abbr. | |
| progr. | логика ветвящегося времени |
| model abbr. | |
| gen. | типовая схема |
| |||
| логика ветвящегося времени (ssn) | |||
|
computational tree logic : 1 phrase in 1 subject |
| Artificial intelligence | 1 |