00000000000000000000000000000000000000000000000000000000000Eng00Algorithms and Complexity in Mathematics, Epistemology, and Science: Proceedings of 2015 and 2016 ACMES ConferencesSpringer New YorkSpringer New York book marcgt portal_lib local 978-1-4939-9050-4, 978-1-4939-9051-1