1818 search results - page 1 / 364 » Granularity-Adaptive Proof Presentation |
AIED
2009
Springer
14 years 2 months ago
2009
Springer
CADE
1990
Springer
13 years 11 months ago
1990
Springer
In automated deduction systems that are intended for human use, the presentation of a proof is no less important than its discovery. For most of today's automated theorem pro...
CORR
2008
Springer
13 years 7 months ago
2008
Springer
Abstract. We define a notion of symmetric monoidal closed (smc) theory, consisting of a smc signature augmented with equations, and describe the classifying categories of such theo...