Maximilian Paul Louis Haslbeck, Simon Wimmer. Competitive Proving for Fun. In Christoph Benzmüller, Xavier Parent, Alexander Steen, editors, Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Volume 10 of Kalpa Publications in Computing, pages 9-14, EasyChair, 2018. [doi]
No references recorded for this publication.
No citations of this publication recorded.