Herausgegeben von V. Wiktor Marek, Herausgegeben von Anil Nerode, Herausgegeben von Miroslaw Truszcynski
Titel
Logic Programming and Nonmonotonic Reasoning
Untertitel
Third International Conference, LPNMR '95, Lexington, KY, USA, June 26 - 28, 1995. Proceedings
Beschreibung
This volume contains the revised refereed papers accepted for presentation at the Third International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR '95, held in Lexington, KY, USA ...mehr
Verlag
Springer Berlin
Erscheinungsdatum
30.06.2005
ISBN/EAN
978-3-540-49282-5
Format
E-Buch Text Elektronisches Buch in proprietärem
Status
lieferbar
Preis
53,49 €
Das ist ein E-Book
Autor
Yves Bertot, Vorwort von G. Huet, Pierre Castéran, Vorwort von C. Paulin-Mohring
Titel
Interactive Theorem Proving and Program Development
This fifth edition continues to improve on the features that have made it the market leader. The text offers a flexible organization, enabling instructors to adapt the book to their particular courses ...mehr
Eine Geschichte sexueller Gewalt in der Bundesrepublik 1973 bis 1997
Beschreibung
Erst 1997 wurde Vergewaltigung in der Ehe strafbar. Hannah Davies hat den zwanzig Jahre langen Kampf um den Paragraphen 177 dokumentiert – und die kruden Argumente gesammelt, mit denen er verteidigt wurde.
Die sámische Schriftstellerin und Umweltwissenschaftlerin Inkeri Markkula erzählt von einer unmöglichen Liebe zwischen Kanada, Dänemark und Finnland – und entdeckt eine neue Perspektive auf Rassismus, kulturelle Traumata und die drohende Klimakatastrophe im arktischen Raum.
In ihrem eindringlichen Roman Der andere Arthur macht Liz Moore zwei Außenseiter zu Helden. Mit feinem Gespür erzählt sie von zerbrochenen Lebensentwürfen, echter Freundschaft und unvorhergesehenen Neuanfängen.