Multiprocessor Execution of Logic Programs formatIsbn:Softcover 9781461362005 Um Sterbenden nahe zu sein 9783110089400 Um Sterbenden nahe zu sein Frontmatter Inhaltsverzeichnis Grußwort Vorbemerkung Berliner Stadtbibliothek Eine Bibliothek der Tatsachen Das Provisorium in der Zimmerstraße Berlins Bücherschrank Im Schatten Berliner Stadtbibliothek und Amerika Gedenkbibliothek Die Wege trennen sich Unter gegensätzlichen Vorzeichen Bibliotheksarbeit im Umfeld Rationalisierungen Zentral und Landesbibliothek Berlin Miteinander oder Nebeneinander and parallel theorem proving systems It will also be useful to people who wish to learn about the implementation of parallel logic programming systems