Deduktion Automatisierung der Logik |
|
Author:
| Bibel, Wolfgang |
Contribution by:
| Hölldobler, Steffen Neugebauer, Gerd |
Series title: | Handbuch der Informatik Ser. |
ISBN: | 978-3-11-070112-8 |
Publication Date: | Oct 2020 |
Publisher: | Walter de Gruyter GmbH
|
Imprint: | De Gruyter Oldenbourg |
Book Format: | Ebook |
List Price: | USD $126.99USD $175.00 |
Book Description:
|
Keine ausführliche Beschreibung für "Deduktion" verfügbar.
Keine ausführliche Beschreibung für "Deduktion" verfügbar.