Partial matching for analogy discovery in proofs and counter-examples
1997 ◽
pp. 431-445
◽
Keyword(s):
Keyword(s):
2021 ◽
Vol E104.D
(6)
◽
pp. 915-918
Keyword(s):
2005 ◽
Vol 38
(10)
◽
pp. 1560-1573
◽
2011 ◽
Vol 4
(1)
◽
pp. 53-66
◽
Keyword(s):