Hoare
| logic
| Hoare abbr. | |
| progr. | Хоар |
| logic abbr. | |
| gen. | логика; логичность; разумность; закономерность; логичность аргументации |
| IT | логический узел; математическая логика |
| |||
| Хоар (ssn) | |||
|
Hoare : 5 phrases in 1 subject |
| Programming | 5 |