Analogical Reasoning and Proof Discovery

@inproceedings{Brock1988AnalogicalRA,
  title={Analogical Reasoning and Proof Discovery},
  author={Bishop Brock and Shaun Cooper and William Pierce},
  booktitle={CADE},
  year={1988}
}
22 Extracted Citations
0 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…