%0 Thesis %1 phd/de/Sorge2004 %A Sorge, Volker %D 2001 %K dblp %P 1-197 %T Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning.

@phdthesis{phd/de/Sorge2004, added-at = {2017-01-19T00:00:00.000+0100}, author = {Sorge, Volker}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/202fb3c7ac938137f7bd028611c1f3e70/dblp}, ee = {http://d-nb.info/972325425}, interhash = {0d624fbe40805fbfda27489fc0583baf}, intrahash = {02fb3c7ac938137f7bd028611c1f3e70}, keywords = {dblp}, pages = {1-197}, school = {Saarland University, Saarbrücken, Germany}, timestamp = {2017-01-20T10:33:24.000+0100}, title = {Ω-ANTS: a blackboard architecture for the integration of reasoning techniques into proof planning.}, year = 2001 }