[Lecture Notes in Computer Science] Intelligent Computer Mathematics Volume 11617 (12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings) || Lemma Discovery for Induction
Kaliszyk, Cezary, Brady, Edwin, Kohlhase, Andrea, Sacerdoti Coen, ClaudioVolume:
10.1007/97
Year:
2019
DOI:
10.1007/978-3-030-23250-4_9
File:
PDF, 311 KB
2019