author = {Carsten Schneider}, title = {{Mathematics in Computer Science}}, language = {english}, year = {2024}, editor = {Carsten Schneider and et. al.}, length = {0}