Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
185,00 €

Über Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

Sprache:
Englisch

ISBN:
9780792351290

Verlag:
Springer

Einband:
Gebundene Ausgabe

Seitenzahl:
481

Veröffentlicht:
1. Juni 1998

Ausgabe:
1998

Abmessungen:
242x160x33 mm.

Gewicht:
874 g.

185,00 € inkl. MwSt.
~~213,99 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Beschreibung von Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

Kund*innenbewertungen von Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Beschreibung von Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Kund*innenbewertungen von Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Willkommen bei den Tales Buchfreunden und -freundinnen