Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 ACMES Conferences English Springer New York 2019 text book portal_lib 978-1-4939-9050-4, 978-1-4939-9051-1