Teamwork eine Methode zum Entwurf verteilter, wissensbasierter Theorembeweiser - Denzinger, Jörg (1993)
Keywords: Automatisches Beweisverfahren; Wissensbasiertes System; Verteiltes System; Hochschulschrift