A blackboard architecture for guiding interactive proofs (1998)

View PDF

Download Links

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