Erhältlich:
Nicht auf Lager
Buch (Hardcover): Fachbuch
Decision Procedures
An Algorithmic Point of View
Verlag:
Springer Verlag
Artikel-Nr.:
LG92KWP
Erhältlich:
Nicht auf Lager
Zustellung: Di, 28.05.2024
Versand: Kostenlos
-10.8 %
CHF 103.00
CHF 91.89
Beschreibung
A decision procedure is an algorithm that, given a decision problem, terminates with a correct yes/no answer. Here, the authors focus on theories that are expressive enough to model real problems, but are still decidable. Specifically, the book conce...
Spezifikationen
Inhalt |
Thema:
|
Sprache:
| ||
---|---|---|---|---|
Publikation |
Auflage:
|
Erscheinungsdatum:
|
Erscheinungsland:
| |
Produktform |
Format:
|
Seiten:
|
Abmessung:
|
Gewicht:
|