MDLUL/Termmenge
Erscheinungsbild
MDLUL/Termmenge |
---|
Start=Termmenge
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition
MDLUL/Termmenge |
---|
Start=Termmenge
Ziel=Term/Variablenmenge/Funktionssymbole/Grundmenge/Rekursiv definierte Termmenge/Definition