
inférence- conclusion produite à partir d'un système de règles ; en informatique surtout déduction produite automatiquement à partir d'un système formel
aus einem Regelsystem erzeugte Schlussfolgerung; in der Informatik vor allem aus einem formalen System automatisiert erstellte Folgerung