Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 14.09.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher, nicht preisgebundene Bücher und Kalender in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Nur gültig mit im Onlineshop hinterlegter Bonuscard. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.
  • Produktbild: Intelligent Computer Mathematics
  • Produktbild: Intelligent Computer Mathematics
Band 5144

Intelligent Computer Mathematics 9th International Conference, AISC 2008 15th Symposium, Calculemus 2008 7th International Conference, MKM 2008 Birmingham, UK, July 28 - August 1, 2008, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.07.2008

Abbildungen

XIV, 602 p.

Herausgeber

Serge Autexier + weitere

Verlag

Springer Berlin

Seitenzahl

602

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

925 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85109-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

16.07.2008

Abbildungen

XIV, 602 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

602

Maße (L/B/H)

23,5/15,5/3,4 cm

Gewicht

925 g

Auflage

2008

Sprache

Englisch

ISBN

978-3-540-85109-7

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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: Intelligent Computer Mathematics
  • Produktbild: Intelligent Computer Mathematics
  • Contributions to AISC 2008.- Symmetry and Search – A Survey.- On a Hybrid Symbolic-Connectionist Approach for Modeling the Kinematic Robot Map - and Benchmarks for Computer Algebra.- Applying Link Grammar Formalism in the Development of English-Indonesian Machine Translation System.- Case Studies in Model Manipulation for Scientific Computing.- Mechanising a Proof of Craig’s Interpolation Theorem for Intuitionistic Logic in Nominal Isabelle.- AISC Meets Natural Typography.- The Monoids of Order Eight and Nine.- Extending Graphical Representations for Compact Closed Categories with Applications to Symbolic Quantum Computation.- A Full First-Order Constraint Solver for Decomposable Theories.- Search Techniques for Rational Polynomial Orders.- Strategies for Solving SAT in Grids by Randomized Search.- Towards an Implementation of a Computer Algebra System in a Functional Language.- Automated Model Building: From Finite to Infinite Models.- A Groebner Bases Based Many-Valued Modal Logic Implementation in Maple.- On the Construction of Transformation Steps in the Category of Multiagent Systems.- Increasing Interpretations.- Contributions to Calculemus 2008.- Validated Evaluation of Special Mathematical Functions.- MetiTarski: An Automatic Prover for the Elementary Functions.- High-Level Theories.- Parametric Linear Arithmetic over Ordered Fields in Isabelle/HOL.- A Global Workspace Framework for Combining Reasoning Systems.- Effective Set Membership in Computer Algebra and Beyond.- Formalizing in Coq Hidden Algebras to Specify Symbolic Computation Systems.- Symbolic Computation Software Composability.- Using Coq to Prove Properties of the Cache Level of a Functional Video-on-Demand Server.- Automating Side Conditions in Formalized Partial Functions.- Combining Isabelleand QEPCAD-B in the Prover’s Palette.- Contributions to MKM 2008.- Digital Mathematics Libraries: The Good, the Bad, the Ugly.- Automating Signature Evolution in Logical Theories.- A Tactic Language for Hiproofs.- Logic-Free Reasoning in Isabelle/Isar.- A Mathematical Type for Physical Variables.- Unit Knowledge Management.- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors.- Verification of Mathematical Formulae Based on a Combination of Context-Free Grammar and Tree Grammar.- Specifying Strategies for Exercises.- Mediated Access to Symbolic Computation Systems.- Herbrand Sequent Extraction.- Visual Mathematics: Diagrammatic Formalization and Proof.- Normalization Issues in Mathematical Representations.- Notations for Living Mathematical Documents.- Cross-Curriculum Search for Intergeo.- Augmenting Presentation MathML for Search.- Automated Classification and Categorization of Mathematical Knowledge.- Kantian Philosophy of Mathematics and Young Robots.- Transforming the ar?iv to XML.- On Correctness of Mathematical Texts from a Logical and Practical Point of View.