A blackboard architecture for guiding interactive proofs (1998)

Cached

Download Links

by Christoph Benzmüller , Volker Sorge
Venue:Artificial Intelligence: Methodology, Systems and Applications
Citations:22 - 17 self