Die verschollene Pyramide

Spätestens seit der Entdeckung des Grabes von Tutanchamun, durch Howard Carter, ist es der Traum eines jeden Ägyptologen, ein verschlossenes und unausgeplündertes Grab zu finden. Mohammed Z. Goneim erlebte diesen Traum. Bei seinen Grabungsarbeiten südwestlich der Unas Pyramide in Sakkara, zwischen 1951 und 1955, entdeckte er die Pyramide des Sechemchet. Dem Umstand, dass die Pyramide nie fertig gestellt wurde, ist es zu verdanken, dass Goneim die erste und bis jetzt einzige Pyramide in moderner Zeit entdecken konnte, die nicht in der Antike geplündert wurde. Nachdem die noch original verschlossene Pyramide geöffnet wurde, fanden sich bereits im Eingangskorridor kostbare Grabbeigaben wie Gefäße und Goldschmuck. Das Buch "Die verschollene Pyramide" erzählt die Entdeckungsgeschichte der Pyramide des Sechemchet, von den ersten Spatenstichen bis zur Öffnung des noch original versiegelten Sarkophages in der Grabkammer.

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful, moving the control from the meta-level to the constraints, which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette, France, in September 1999. The book offers coherently written chapters on constraints and constraint solving, constraint solving on terms, combining constraint solving, constraints and theorem proving, functional and constraint logic programming, and building industrial applications.