CROSSTOWN Books

Automatisierung Von Terminierungsbeweisen | Autor, ISBN und Ausgabedetails

24.08.2026

Lesedauer: 2 min

Alle Kerninfos zu Automatisierung Von Terminierungsbeweisen von Christoph Walther auf einen Blick: Inhalt und Buchdetails. So siehst du sofort, ob das Buch zu deiner Suche passt.

Automatisierung Von Terminierungsbeweisen | Autor, ISBN und Ausgabedetails

Automatisierung Von Terminierungsbeweisen | Autor, ISBN und Ausgabedetails

24.08.2026

Automatisierung Von Terminierungsbeweisen - Buchbeschreibung, Ausstattung und ISBN

Wer nach einem Buch von Christoph Walther aus dem Themenfeld Sachbuch sucht, findet mit Automatisierung Von Terminierungsbeweisen eine Ausgabe mit präziser inhaltlicher Positionierung.

Was diese Ausgabe besonders interessant macht

Mit dem Erscheinungszeitpunkt 1991 lässt sich Automatisierung Von Terminierungsbeweisen sauber in einen bibliografischen Kontext einordnen. Mit der Sprache Deutsch lässt sich Automatisierung Von Terminierungsbeweisen auch im internationalen oder mehrsprachigen Kontext präzise filtern. Im Kontext des Gesamtwerks von Christoph Walther lässt sich Automatisierung Von Terminierungsbeweisen gezielt bibliografisch und thematisch einordnen. Automatisierung Von Terminierungsbeweisen spricht besonders Nutzer an, die sich für Bücher rund um Sachbuch interessieren.

Wichtige Kennzeichen dieser Ausgabe

Im Open-Library-Kontext ist das Werk über OL21066338W sowie die Editionszuordnungen OL28518311M referenzierbar.

Die zentralen Metadaten zu Automatisierung Von Terminierungsbeweisen

  1. Verlag: Springer
  2. Open-Library-Editions-IDs: OL28518311M
  3. Erscheinungsdatum: 1991
  4. Open-Library-Work-ID: OL21066338W
  5. Titel: Automatisierung Von Terminierungsbeweisen
  6. Autor beziehungsweise Autoren: Christoph Walther
  7. Sprache: Deutsch
  8. Primäre Kategorie: Sachbuch
  9. ISBN-13: 9783528047719

Wichtige Fragen zu Inhalt und Ausgabe

Wie lässt sich Automatisierung Von Terminierungsbeweisen thematisch einordnen?

Die Ausgabe wird dem Bereich Sachbuch zugeordnet und ist damit für thematisch fokussierte Recherchen gut geeignet.

Welche Open-Library-Kennungen sind vorhanden?

Vorhanden sind die Work-ID OL21066338W und die Editionsreferenzen OL28518311M.

Weitere Artikel zu
diesem Thema