ISBNs beginnend mit 978-3-89601-xxx-xBarbara Messing × Darstellung und Integration von Wissen in verbandsbasierten signierten Logikprogrammen Barbara MessingHundt, ESoftcover1996
