This book constitutes the refereed proceedings of the 10th International Conference on Theorem Pr...

Mit Fokus auf unbewegliche Denkmale enthält das Handbuch einen aktuellen Überblick über das Denkm...