Darstellung und Integration von Wissen in verbandsbasierten signierten LogikprogrammenBarbara MessingÉpuiséPrévenez-moi
