Vor Ort
Merkzettel Warenkorb
  • Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
  • Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Band 10 - 12%

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

Aus der Reihe Applied Logic Series
12% sparen

139,99 € UVP 160,49 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.12.2010

Abbildungen

XII, 335 p.

Herausgeber

Wolfgang Bibel + weitere

Verlag

Springer Netherland

Seitenzahl

335

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of hardcover 1st ed. 1998

Sprache

Englisch

ISBN

978-90-481-5052-6

Beschreibung

Portrait

Prof. Dr. Wolfgang Bibel lehrt das Fachgebiet Intellektik am Fachbereich Informatik der TH Darmstadt.

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

09.12.2010

Abbildungen

XII, 335 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

335

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

528 g

Auflage

Softcover reprint of hardcover 1st ed. 1998

Sprache

Englisch

ISBN

978-90-481-5052-6

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
  • Produktbild: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
  • 1 Lattice-ordered Groups in Deduction.- 2 Superposition Theorem Proving for Commutative Rings.- 3 How to Augment a Formal System with a Boolean Algebra Component.- 4 Proof Planning: A Practical Approach to Mechanized Reasoning in Mathematics.- 5 Program Synthesis.- 6 Termination Analysis for Functional Programs.- 7 The WAM Case Study: Verifying Compiler Correctness for Prolog with KIV.- 8 Using Automated Theorem Provers in Verification of Protocols.- 9 Theorem Proving in Large Theories.- 10 Analyzing Rule Sets for the Calculation of Banking Fees by a Theorem Prover with Constraints.- 11 Deduction-Based Software Component Retrieval.- 12 Rewrite Based Hardware Verification with ReDuX.