![](/img/cover-not-exists.png)
A Pragmatic Approach to Reuse in Tactical Theorem Proving
Axel Schairer, Serge Autexier, Dieter HutterVolume:
58
Year:
2001
Language:
english
Pages:
14
DOI:
10.1016/s1571-0661(04)00286-5
File:
PDF, 238 KB
english, 2001