Ein umfangreiches Werk aus dem CSR‑Symposium in St. Petersburg, das aktuelle Fortschritte in theoretischer Informatik, Algorithmen und Logik zusammenfasst – ein unverzichtbarer Leitfaden für Studierende und Forscher gleichermaßen.