Formal Inference
| Recursive
| Modeling
| formal inference | |
| IT | συμπέρασμα; τυπικό συμπέρασμα |
| recursive | |
| IT dat.proc. | αναδρομικός |
| modeling | |
| med. | μίμηση προτύπου; πλάσιμο προτύπου; διαμόρφωση; μοντελοποίηση |
| |||
| συμπέρασμα n; τυπικό συμπέρασμα | |||
