9783642366741 - Automated Reasoning and Mathematics Kartoniert (TB)

EAN: 9783642366741

Produktdaten aktualisiert am: 03.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 >>>
ean-shopping.de - es werden keine Cookies verwendet - Impressum