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

Taschenbuch
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

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

Sprache:
Englisch

ISBN:
9789048150519

Verlag:
Springer

Einband:
Taschenbuch

Seitenzahl:
434

Veröffentlicht:
6. Dezember 2010

Ausgabe:
11998

Abmessungen:
234x156x23 mm.

Gewicht:
678 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

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

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:

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