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