Algorithmic mathematics. (2016) - Hougardy, Stefan, 1967-; Vygen, Jens
No abstract available