Formal Inference
| Recursive
| Modeling
| formal inference abbr. | |
| IT | формальний висновок |
| recursive abbr. | |
| IT | рекурентний |
| modeling abbr. | |
| gen. | виліплювання; ліпні роботи; моделювання |
| comp. | моделювання |
| IT | моделювання; побудова моделі |
| |||
| формальний висновок | |||
