BabelNet

bn:00076590n

Noun Concept

Categories: Théorie de la compilation, Syntaxe, Logique, Informatique théorique, Logique mathématique

terme expression mot

Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. Wikipedia

Definitions

Relations

Sources

Un terme est une expression de base du calcul des prédicats, de l'algèbre, notamment de l'algèbre universelle, et du calcul formel, des systèmes de réécriture et de l'unification. Wikipedia

IS A

HAS PART

PART OF

HAS KIND