Darstellung und Integration von Wissen in verbandsbasierten signierten LogikprogrammenBarbara MessingUitverkocht4,3Volgen
