Enhanced Theorem Reuse by Partial Theory Inclusions

Artificial Intelligence and Symbolic Computation - Lecture Notes in Computer Science ◽

10.1007/11856290_6 ◽

2006 ◽

pp. 40-52

Author(s):

Immanuel Normann

Download Full-text