%0 Generic
%T Omega-ants: A blackboard architecture for the integration of reasoning techniques into proof planning
%A Sorge, Volker
%A Jörg H. Siekmann
%K Gruppentheorie
%K Blackboard <Expertensystem>
%K Automatisches Beweisverfahren
%K Endliche Algebra
%D 2004-09-23
%X Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation