Patching proofs for reuse (Extended abstract)

Lecture Notes in Computer Science - Machine Learning: ECML-95 ◽

10.1007/3-540-59286-5_73 ◽

1995 ◽

pp. 303-306 ◽

Author(s):

Thomas Kolbe ◽

Christoph Walther

Download Full-text