Omega-ants: A blackboard architecture for the integration of reasoning techniques into proof planning

Volker Sorge
This data repository is not currently reporting usage information. For information on how your repository can submit usage information, please see our documentation.