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 9 - 13%

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
13% sparen

185,99 € UVP 213,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2010

Abbildungen

XIV, 434 p.

Herausgeber

Wolfgang Bibel + weitere

Verlag

Springer Netherland

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

674 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5051-9

Beschreibung

Portrait

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

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

06.12.2010

Abbildungen

XIV, 434 p.

Herausgeber

Verlag

Springer Netherland

Seitenzahl

434

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

674 g

Auflage

1. Auflage

Sprache

Englisch

ISBN

978-90-481-5051-9

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

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
  • One Interactive Theorem Proving.- 1. Structured Specifications and Interactive Proofs with KIV.- 2. Proof Theory at Work: Program Development in the Minlog System.- 3. Interactive and automated proof construction in type theory.- 4. Integrating Automated and Interactive Theorem Proving.- Two Representation and Optimization Techniques.- 5. Term Indexing.- 6. Developing Deduction Systems: The Toolbox Style.- 7. Specifications of Inference Rules: Extensions of the PTTP Technique.- 8. Proof Analysis, Generalization and Reuse.- Three Parallel Inference Systems.- 9. Parallel Term Rewriting with PaReDuX.- 10. Parallel Theorem Provers Based on SETHEO.- 11. Massively Parallel Reasoning.- Four Comparision and Cooperation of Theorem Provers.- 12. Extension Methods in Automated Deduction.- 13. A Comparison of Equality Reasoning Heuristics.- 14. Cooperating Theorem Provers.