Formal Inference
| Recursive
| Modeling
| formal inference abbr. | |
| math. | формальный вывод |
| recursive abbr. | |
| gen. | оборотный; способный к повторному использованию |
| astronaut. | рекурсивно |
| Makarov. | возвратный |
| math. | рекуррентный; пошаговый; рекурсивный |
| modeling abbr. | |
| gen. | лепка; моделировка; позирование |
| automat. | изготовление моделей |
| IT | построение модели; построение модели моделирование |
| Makarov. | воспроизведение |
| met. | получение отпечатка |
| |||
| формальный вывод | |||
|
Formal Inference : 1 phrase in 1 subject |
| Programming | 1 |