| Artikelnummer | 236847920 | Erscheinungsdatum | 2026/07/10 | Listenpreis | €46.89 | Modellnummer | 236847920 | ||
|---|---|---|---|---|---|---|---|---|---|
| Kategorie | |||||||||
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning. Read more
Wenn Sie Unvollständigkeiten oder Fehler in den Produktinformationen auf dieser Seite bemerken, nutzen Sie bitte das Korrekturformular unten.
KorrekturanfrageFür dieses Produkt liegen derzeit keine schriftlichen Bewertungen vor.