M
Q. A Term is either an individual constant (a 0-ary function), or a variable, or an n-ary function applied to n terms: F(t1 t2 ..tn).
Be the first to start discuss.
Discusssion
Login to discuss.