EPIA
1999
Springer
14 years 3 months ago
1999
Springer
We introduce a resource adaptive agent mechanism which supports the user of an interactive theorem proving system. The mechanism, an extension of 5 , uses a two layered architectur...