Darstellung und Integration von Wissen in verbandsbasierten signierten LogikprogrammenBarbara MessingAgotado4,3Notifícame
