KI-Beratung Beta

  • Produktbild: Constraint Programming: Basics and Trends
  • Produktbild: Constraint Programming: Basics and Trends
Band 910

Constraint Programming: Basics and Trends 1994 Chatillon Spring School, Chatillon-sur-Seine, France, May 16 - 20, 1994. Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.03.1995

Abbildungen

XIII, 323 p.

Herausgeber

Andreas Podelski

Verlag

Springer Berlin

Seitenzahl

323

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-59155-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

20.03.1995

Abbildungen

XIII, 323 p.

Herausgeber

Andreas Podelski

Verlag

Springer Berlin

Seitenzahl

323

Maße (L/B/H)

23,5/15,5/1,9 cm

Gewicht

511 g

Auflage

1995

Sprache

Englisch

ISBN

978-3-540-59155-9

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: Constraint Programming: Basics and Trends
  • Produktbild: Constraint Programming: Basics and Trends
  • Interval constraint logic programming.- Solving pseudo-Boolean constraints.- Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods.- Constraints in term algebras an overview of constraint solving techniques.- Constructive negation by pruning and optimization higher-order predicates for CLP and CC languages.- Constraint handling rules.- Linear constraint solving in CLP-Languages.- On the use of constraints in automated deduction.- Abstract interpretation and finite domain symbolic constraints.- Concurrency and Concurrent Constraint Programming.- Toupie: A constraint language for model checking.- Imagining CLP(?,???).- An architecture for cooperating constraint solvers on reals.- The definition of Kernel Oz.- Design, implementation, and evaluation of the constraint language cc(FD).