Erschienen: 28.08.2001 Abbildung von Börger / Grädel / Gurevich | The Classical Decision Problem | 1st ed. 1997. 2nd printing | 2001

Börger / Grädel / Gurevich

The Classical Decision Problem

lieferbar (3-5 Tage)

149,79 €

inkl. Mwst.

1st ed. 1997. 2nd printing 2001. Buch. x, 482 S. 3 s/w-Abbildungen, Bibliographien. Softcover

Springer. ISBN 978-3-540-42324-9

Format (B x L): 15,5 x 23,5 cm

Gewicht: 1520 g

In englischer Sprache

Das Werk ist Teil der Reihe: Universitext

Produktbeschreibung

This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

Gesamtwerk

Die 8. Auflage ist wieder auf sechs Bände angelegt. Darin finden sich übersichtlich und in systematischer Gliederung Vertragsmuster aus der Feder erfahrener Experten. Jedem dieser Muster folgen Anmerkungen, mit denen der dem Vertragsentwurf zu Grunde liegende Sachverhalt und die Gründe für die Wahl des spezifischen Formulars erläutert werden.

Autoren

  • Dieses Set enthält folgende Produkte:
      Auch in folgendem Set erhältlich:
      • nach oben

        Ihre Daten werden geladen ...