KI-Beratung Beta
Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 21.10.2026 | Gültig für nicht preisgebundene fremdsprachige Bücher | Einzelne Artikel können ausgeschlossen sein | Online auf thalia.de und in der Thalia App einlösbar | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Nicht gültig für Versandkosten und Services
  • Produktbild: Artificial Intelligence and Symbolic Computation
  • Produktbild: Artificial Intelligence and Symbolic Computation
Band 4120

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

Aus der Reihe Lecture Notes in Artificial Intelligence

53,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2006

Abbildungen

XIII, 269 p.

Herausgeber

Jaques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

269

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-39728-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

13.09.2006

Abbildungen

XIII, 269 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

269

Maße (L/B/H)

23,5/15,5/1,6 cm

Gewicht

441 g

Auflage

2006

Sprache

Englisch

ISBN

978-3-540-39728-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

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 Sie 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: Artificial Intelligence and Symbolic Computation
  • Produktbild: Artificial Intelligence and Symbolic Computation
  • Invited Presentations.- Interactive Mathematical Documents.- Algebra and Geometry.- An Inductive Inference System and Its Rationality.- Semantic Guidance for Saturation Provers.- Contributed Papers.- Labeled @-Calculus: Formalism for Time-Concerned Human Factors.- Enhanced Theorem Reuse by Partial Theory Inclusions.- Extension of First-Order Theories into Trees.- The Confluence Problem for Flat TRSs.- Some Properties of Triangular Sets and Improvement Upon Algorithm CharSer.- A New Definition for Passivity and Its Relation to Coherence.- A Full System of Invariants for Third-Order Linear Partial Differential Operators.- An Algorithm for Computing the Complete Root Classification of a Parametric Polynomial.- Quantifier Elimination for Quartics.- On the Mixed Cayley-Sylvester Resultant Matrix.- Implicitization of Rational Curves.- Operator Calculus Approach to Solving Analytic Systems.- Solving Dynamic Geometric Constraints Involving Inequalities.- Constraints for Continuous Reachability in the Verification of Hybrid Systems.- Using Hajós’ Construction to Generate Hard Graph 3-Colorability Instances.- Finding Relations Among Linear Constraints.- A Search Engine for Mathematical Formulae.- Hierarchical Representations with Signatures for Large Expression Management.