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: Integrating Symbolic Mathematical Computation and Artificial Intelligence
  • Produktbild: Integrating Symbolic Mathematical Computation and Artificial Intelligence
Band 958

Integrating Symbolic Mathematical Computation and Artificial Intelligence Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.1995

Abbildungen

XI, 281 p.

Herausgeber

Jacques Calmet + weitere

Verlag

Springer Berlin

Seitenzahl

281

Maße (L/B/H)

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

Gewicht

446 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60156-2

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

10.08.1995

Abbildungen

XI, 281 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

281

Maße (L/B/H)

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

Gewicht

446 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-60156-2

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: Integrating Symbolic Mathematical Computation and Artificial Intelligence
  • Produktbild: Integrating Symbolic Mathematical Computation and Artificial Intelligence
  • Interactive theorem proving and computer algebra.- A practical algorithm for geometric theorem proving.- Combining theorem proving and symbolic mathematical computing.- Tools for solving problems in the scope of algebraic programming.- Planning a proof of the intermediate value theorem.- A general technique for automatically optimizing programs through the use of proof plans.- Datalog and TwoGroups and C++.- Linear logic and real closed fields: A way to handle situations dynamically.- A proof environment for arithmetic with the omega rule.- Using commutativity properties for controlling coercions.- Theories = signatures + propositions used as types.- The ideal structure of Gröbner base computations.- Modeling cooperating agents scenarios by deductive planning methods and logical fiberings.- Propagation of mathematical constraints in subdefinite models.- Combining computer algebra and rule based reasoning.- Algebraic specification of empirical inductive learning methods based on rough sets and matroid theory.- Subsymbolic processing using adaptive algorithms.- An interpretation of the propositional Boolean algebra as a k-algebra. Effective calculus.- Subdefinite computations and symbolic transformations in the uniCalc solver.