Works of HUN-REN Alfréd Rényi Institute of Mathematics from 2019
- Towards Finding Longer ProofsLecture notes in computer scienceZsolt Zombori, Adrián Csiszárik, Henryk Michalewski, et al.2019 · 21 citations
This page in Markdown → https://md.research.elamur.ai/free/en/labs/hun-ren-alfred-renyi-institute-of-mathematics/year/2019/