TTA - TZZInformatik (Inf) TWG - TYIDigitalrechner TXK - TYIProblemorientierte Sprachen TXV - TYDAnwendungsorientierte Sprachen TXX Verarbeitung mathematischer Formeln: FORMAC. SYMBAL Suche nach TXX im Bibliothekskatalog...