Analogy inInductive Theorem Proving

Authors
E.Melis,J.Whittle
Citation
E.melis,j.whittle, Analogy inInductive Theorem Proving, Journal of automated reasoning , 22(2), 1999, pp. 117-147
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
22
Issue
2
Year of publication
1999
Pages
117 - 147
Database
ACNP
SICI code