Darstellung und Integration von Wissen in verbandsbasierten signierten LogikprogrammenBarbara MessingUitverkochtHou mij op de hoogte
