Infos Home | Impressum | Original Artikel & Autoren Liste


Extension

Extension ist ein Fremdwort aus dem Lateinischen und Englischen mit der Bedeutung Ausdehnung oder Erweiterung.

Spezielle Bedeutungen

Siehe auch: Extensionalitätsprinzip


Der Ursprungsartikel stammt von der deutschsprachigen Wiki pedia (siehe oben: "Original Artikel & Autoren Liste").
Der Text steht unter der GNU Freie Dokumentation Lizenz.