Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Price: 140.00 EUR
Availability: InStock
Author: Wolfgang Bibel
ISBN: 9789048150526

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

Sie sparen 13% des UVP sparen 13%

Gebundene Ausgabe
Versandfertig in 1-2 Wochen
140,00 €
Taschenbuch
Versandfertig in 1-2 Wochen
140,00 €

Sprache:
Englisch

ISBN:
9789048150526

Verlag:
Springer Netherlands

Einband:
Taschenbuch

Seitenzahl:
348

Veröffentlicht:
9. Dezember 2010

Abmessungen:
155x19x235 mm.

Gewicht:
528 g.

140,00 € inkl. MwSt.
~~160,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Wolfgang Bibel

Alle Bücher von Wolfgang Bibel anzeigen

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
Körper & Seele
> > >
> > >
> >
> > >
> >

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

Über Wolfgang Bibel

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