Entdecken Sie spannende Vielfalt – jetzt auch als Hörbuch! Unser neues Werk vereint Kurzgeschichten, die so unterschiedlich sind wie das Leben selbst. Tauchen Sie ein in fesselnde Thriller, schaurige Horrorgeschichten und bewegende Dramen – jetzt zum Anhören, wo immer Sie möchten. Doch dieses Projekt ist mehr als nur Unterhaltung: Mit jedem Kauf unterstützen Sie die Kinderkrebshilfe. Sämtliche Gewinne aus dem Verkauf und den Lesungen fließen direkt in wohltätige Projekte. Genießen Sie pack...

This book constitutes the refereed proceedings of the 18th International Conference on Intelligent Computer Mathematics, CICM 2025, held in Brasilia, Brazil, during October 6–11, 2025.The 24 full papers were presented in this volume were carefully reviewed and selected from 34 submissions. They were organized in the following topical sections as follows : Automated Reasoning; Formal Libraries; Logical and Linguistic Foundations; Mathematical Knowledge Management; Neural Language Mo...

Stan arbeitet in einem Bergbaumuseum als Kindererschrecker in einem Maulwurfmannkostüm. Verkleidet als der Werwurf, die Geißel der finsteren Kohlengruben, fährt er mit dem Aufzug in die Tiefe, um dort auf die nächste Kinderführung zu warten. Doch die Gruppe kommt nicht. Als Stan mit dem Aufzug wieder nach oben fahren will, streikt die Technik. Der Kindererschrecker ist in der dunklen Grube gefangen! Da ertönt ein unheimliches Stöhnen, das direkt aus den Tiefen der Hölle zu dringen scheint....

Logic Colloquium '02 includes articles from some of the world's preeminent logicians. The topics span all areas of mathematical logic, but with an emphasis on Computability Theory and Proof Theory. This book will be of interest to graduate students and researchers in the field of mathematical logic.