 |
nondeterministic
| Kripke structure
| nondeterministic | |
| comp. | недетерминированный |
| Kripke structure | |
| progr. | модель Крипке; структура Крипке |
noun | adjective | to phrases
| |||
| недетерминированный | |||
| |||
| недетерминистский; недетерминистический | |||
| nondeterministic: 88 phrases in 10 subjects |
| Artificial intelligence | 1 |
| Electronics | 10 |
| Information technology | 4 |
| Mass media | 2 |
| Mathematics | 8 |
| Microelectronics | 1 |
| Programming | 58 |
| Quality control and standards | 1 |
| Security systems | 1 |
| Technology | 2 |