tag:katalog.ub.uni-paderborn.de,2015:/local/sSuchergebnisse für any = CT004000403Universitätsbibliothek Paderborntag:katalog.ub.uni-paderborn.de,2015:SearchEngine::Record/990188311010206441An inference engine for function free logic programs [Elektronische Ressource]<div>Böttcher, Stefan</div><div>2009</div>