Search: A Blackboard Architecture For Guiding Interactive Proofs
1998
[1] A Blackboard Architecture for Guiding Interactive Proofs (Christoph Benzmüller, Volker Sorge), In Artificial Intelligence: Methodology, Systems, and Applications, 8th International Conference, AIMSA '98, Sozopol, Bulgaria, September 21-13, 1998, Proceedings (Fausto Giunchiglia, ed.), Springer, LNCS, number 1480, pp. 102-114, 1998. [bibtex] [pdf] [doi]
Powered by bibtexbrowser