Peter Graf Books

Ebenso berühmt wie für seine Tourismusplakate ist die Schweiz als touristische Destination der ersten Stunde für seine Postkarten und für den Wintersport, der hier seine Wiege hat. Ob Curling, Eishockey oder Skijöring, ob auf Schlittschuhen Schlitten, Bobs oder Skiern, ab der zweiten Hälfte des 19. Jahrhunderts begann der Siegeszug jener Sportarten, die auf Eis und Schnee ausgeübt, Menschen aus aller Welt in die winterliche Idylle der Schweiz lockten. Unser nostalgisches Post- kartenbuch mit heraustrennbaren Postkarten zeigt die schönsten und originells- ten Motive und Schauplätze der zurückliegenden Jahrzehnte. Begleitet werden die heraustrennbaren Postkarten von einem Essay, der die Geschichte des Schweizer Wintersports und der damit verbundenen Postkarten- und Souvenirs erhellt.

Der Islam ist in Deutschland, Europa und weltweit nach den Christen die zweitgrößte Religionsgemeinschaft. In dem von Peter Graf herausgegebenen Band stellen Wissenschaftler die Grundpfeiler einer universitären Ausbildung von Lehrern für eine ethisch-religiöse Erziehung von Muslimen an öffentlichen Schulen vor, die die Standards der etablierten Lehrerbildung erfüllt. »Der Islam im Westen – der Westen im Islam« entstand im Rahmen des Osnabrücker Projekts »Forum des Interreligiösen Dialogs«, einem internationalen, universitären Netzwerk zur Erarbeitung von Grundpositionen einer dialogisch konzipierten Religionspädagogik für Muslime im Westen. Das Projekt der Universität ist zugleich eine neue bildungs- und kulturpolitische Initiative des Landes Niedersachsen.

Term indexing supports the construction of efficient automated reasoning systems, as e. g. automated theorem provers, by allowing rapid access to first order predicate calculus terms with specific properties. This monograph provides a comprehensive, well-written survey on term indexing in general and presents new indexing techniques for the retrieval and maintenance of data that help to overcome program degradation in automated reasoning systems. Theoretical foundations and applicational aspects are treated in detail; finally the PURR prover for parallel unit resulting resolution is discussed to demonstrate the importance of careful implementations.