![](/img/cover-not-exists.png)
Proofs-as-Programs as a Framework for the Design of an Analogy-Based ML Editor
Jon Whittle, Alan Bundy, Richard BoultonVolume:
13
Language:
english
Pages:
19
DOI:
10.1007/s001650200019
Date:
July, 2002
File:
PDF, 201 KB
english, 2002