anselme-josse documents

Prédicats prédéfinis Prédicats de type : Le type d un terme peut être une variable, une constante (atome, nombre), une structure. Un terme de type variable
Documents Prédicats prédéfinis Prédicats de type : Le type d un terme peut être une variable, une constante (atome, nombre), une structure. Un terme de type variable