Formal Inference
| Recursive
| Modeling
| formal inference | |
| IT | inférence rigoureuse; déduction; inférence valide |
| recursive | |
| IT dat.proc. | récursif |
| modeling | |
| comp. | modélisation; création de modèle |
| construct. | simulation |
| finish. | moulures |
| |||
| inférence rigoureuse; déduction f; inférence valide | |||
