Escaping the Trap of Too Precise Topic Queries

Paul Libbrecht. Escaping the Trap of Too Precise Topic Queries. In Jacques Carette, David Aspinall, Christoph Lange 0002, Petr Sojka, Wolfgang Windsteiger, editors, Intelligent Computer Mathematics - MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings. Volume 7961 of Lecture Notes in Computer Science, pages 296-309, Springer, 2013. [doi]

Abstract

Abstract is missing.