Informationssystem der Otto-Friedrich-Universität Bamberg © Config eG

Gust, H. ; Kühnberger, K.-U. ; Schmid, Ute: Anti-unification of axiomatic systems. Work in progress report . Osnabrück : Universtität Osnabrück. 2003. - Interner Bericht Institution: Professur für Angewandte Informatik, insbes. Kognitive Systeme

UnivIS ist ein Produkt der Config eG, Buckenhof