Institut: E104 - Institut für Diskrete Mathematik und Geometrie
Bereich: E104-02 Computational Logic
Eintrag für Friedrich Urbanek im Adressbuch der TU Wien
Weitere Suche in den Publikationen von:
Friedrich Urbanek
Bereich: E104-02 Computational Logic
Institut: E104 - Institut für Diskrete Mathematik und Geometrie