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

Gebundene Ausgabe

Erscheinungsdatum

30.06.1998

Abbildungen

XII, 335 p.

Herausgeber

Wolfgang Bibel + weitere

Verlag

Springer Netherland

Seitenzahl

335

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

699 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5131-3

Beschreibung

Produktdetails

Einband

Gebundene Ausgabe

Erscheinungsdatum

30.06.1998

Abbildungen

XII, 335 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

335

Maße (L/B/H)

24,1/16/2,4 cm

Gewicht

699 g

Auflage

1998

Sprache

Englisch

ISBN

978-0-7923-5131-3

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.