Tekijä: N. J. Demerath; Peter Dobkin Hall; Terry Schmitt; Rhys H. Williams Kustantaja: Oxford University Press Inc (1998) Saatavuus: | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa
Tekijä: Gerhard Brewka; Klaus P. Jantke; Peter H. Schmitt Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Peter F Niederer; Markus H Muser; Felix Walz; Prof Dr Prof Dr Peter F Nieder Eth Zurich Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2010) Saatavuus: Ei tiedossa
Tekijä: Kai-Uwe Schmitt; Peter F. Niederer; Duane S. Cronin; Markus H. Muser; Felix Walz Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Peter F Niederer; Duane S Cronin; Markus H Muser; Felix Walz Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2014) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Peter F. Niederer; Duane S. Cronin; Markus H. Muser; Felix Walz Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2016) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Peter H. Schmitt; Mattias Ulbrich Kustantaja: Springer International Publishing AG (2016) Saatavuus: Noin 17-20 arkipäivää
Tekijä: David J. Petersen; Daniel Willers; Esther M. Schmitt; Robert Birnbaum; Jan H. E. Meyerhoff; Sebastian Gießler; Benja Roth Kustantaja: Springer Fachmedien Wiesbaden (2019) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Peter F. Niederer; Duane S. Cronin; Barclay Morrison III; Markus H. Muser; Felix Walz Kustantaja: Springer (2019) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Peter F. Niederer; Duane S. Cronin; Barclay Morrison III; Markus H. Muser; Felix Walz Kustantaja: Springer Fachmedien Wiesbaden (2020) Saatavuus: Noin 17-20 arkipäivää
Tekijä: Kai-Uwe Schmitt; Prof. Dr. Prof. Dr. Peter F. Nieder ETH Zürich; Markus H. Muser; Felix Walz Kustantaja: Springer (2009) Saatavuus: Loppuunmyyty.
Springer Sivumäärä: 246 sivua Asu: Pehmeäkantinen kirja Julkaisuvuosi: 1992, 11.09.1992 (lisätietoa) Kieli: Saksa
Die Programmiersprache Prolog hat ihre Bewährungsprobe im praktischen Einsatz bestanden, und das logische Programmieren hat unter den Programmiertechniken seinen festen Platz gefunden. Worin liegen Attraktion und Nutzen des logischen Programmierens, was sind die charakteristischen Unterschiede zu anderen Programmiertechniken, und welche Rolle kommt der Theorie des logischen Programmierens zu? Dieses Buch macht den Leser mit den Grundlagen und Möglichkeiten der logischen Programmierung vertraut. Die ausführliche Darstellung mit Übungsaufgaben und ausgewählten Lösungen setzt keine speziellen Vorkenntnisse in formaler Logik voraus. In der Einleitung werden die wichtigsten Probleme und Resultate der Theorie anhand von Beispielen anschaulich vorgestellt. Es ist ein besonderes Anliegen des Buches, zu zeigen, wie höhere Konzepte der mathematischen Logik, z.B. vollständige Theorien, dreiwertige Logik oder saturierte Strukturen, in natürlicher und verständlicher Weise sinnvoll eingesetzt werden können. Auch dem neuen Thema der logischen Programmierung mit Randbedingungen (constraints) ist ein Kapitel gewidmet. In allen Teilen des Buches wird Wert gelegt auf klare Darstellung, mathematische Präzision und vollständige, nachvollziehbare Beweise. Auf übertriebene Systematik und Notation wird jedoch verzichtet, und Verallgemeinerungen werden erst dort eingeführt, wo sie gebraucht werden. Das Buch ist sowohl als vorbereitende und begleitende Lektüre zu Vorlesungen als auch zum Selbststudium geeignet.