Institut: E192 - Institut für Logic and Computation Eintrag für Martin Lackner im Adressbuch der TU Wien Weitere Suche in den Publikationen von: Martin Lackner Institut: E192 - Institut für Logic and Computation