Formel
Système formel
Neurone formel
Langage formel
Méthode formelle (informatique)
Calcul formel
Système de calcul formel
Grammaire formelle
Démonstration formelle
Nombre formel
Sciences formelles
SageMath
Vérification formelle
Polifac Formel 3 Trophy
Polynôme formel
Série formelle
ADAC Formel Masters
GAP (logiciel de calcul formel)
Magma (logiciel)
Sémantique formelle
Paramètre (programmation informatique)
Analyse formelle de concepts
Méthode formelle appliquée à l'électronique
Acte formel de défection de l'Église catholique
Juan Formell
Linguistique formelle
Noyau de système d'exploitation formellement prouvé
Sémantique formelle (logique)
Charge formelle
Infraction formelle
Logique formelle
Notation (mathématiques)
Théorème de Chomsky-Schützenberger (langage formel)
Économie informelle
Théorie aristotélicienne de la causalité
Constitution
Décalage de Bernoulli (langage formel)
Distance génétique (génétique formelle)