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:24 - 19 self