EAN: 9783642366741

9783642366741 - Automated Reasoning and Mathematics Kartoniert (TB)
Bilder-Quelle: discount24.de - Sport-Freizeit
This Festschrift volume is published in honor of William W. McCune an accomplished computer scientist who was a fantastic system builder and software engineer. It includes 13 papers that cover automated reasoning and its applications to mathematics.
Produktinformationen zuletzt aktualisiert am
09.05.2025 um 16:28 Uhr


Hersteller
-
EAN
9783642366741
MPN
-
ASIN
3642366740
Produktgruppe
-

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>
utopio.de - es werden keine Cookies verwendet - Impressum