9783642366741 - Automated Reasoning and Mathematics Kartoniert (TB)

EAN: 9783642366741

Produktdaten aktualisiert am: 21.11.2024
Hersteller: - Hersteller-ArtNr. (MPN): - ASIN: -

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.

Produktzustand:

Verfügbarkeit:

Versandkosten:

Sonderpreis:

Loading
Barcode:
9783642366741
QR-Code:
Sie sind Shopbetreiber? Listen Sie ganz einfach Ihre Produkte hier bei uns im Portal >>>