A blackboard architecture for guiding interactive proofs Chapter uri icon

publication date

  • January 1, 1998

start page

  • 102

end page

  • 114