Produktbild
Wolfgang Bibel

Automated Theorem Proving

Ebook (PDF Format)

Since both the coments and the structure of the book appeared to be successful, only minor changes were made. In particular, some recent work in ATP has been incorporated so that the book continues to reflect the state of the art in the field. The most significant change is in the quality of the layout including the removal of a number of inaccuracies and typing errors. R. Caferra, E. Eder, F. van der Linden, and J. Muller have caught vanous minor errors. P. Haddawy and S.T. Pope have provided many stilistic improvements of the English text. Last not least, A. Bentrup and W. Fischer have produced the beautiful layout. The extensive work of ty… Mehr

CHF 103.00

Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)

Versandfertig innerhalb 1-3 Werktagen
Versandkostenfrei

Produktdetails


  • ISBN: 978-3-322-90102-6
  • EAN: 9783322901026
  • Produktnummer: 37220869
  • Verlag: Vieweg+Teubner Verlag
  • Sprache: Englisch
  • Erscheinungsjahr: 2013
  • Seitenangabe: 289 S.
  • Plattform: PDF
  • Auflage: 2nd ed. 1987

28 weitere Werke von Wolfgang Bibel:


Bewertungen


0 von 0 Bewertungen

Geben Sie eine Bewertung ab!

Teilen Sie Ihre Erfahrungen mit dem Produkt mit anderen Kunden.