• Produktbild: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management
Band 10997

Declarative Programming and Knowledge Management Conference on Declarative Programming, DECLARE 2017, Unifying INAP, WFLP, and WLP, Würzburg, Germany, September 19–22, 2017, Revised Selected Papers

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2018

Herausgeber

Dietmar Seipel + weitere

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-00800-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

27.09.2018

Herausgeber

Verlag

Springer

Seitenzahl

215

Maße (L/B/H)

23,5/15,5/1,3 cm

Gewicht

353 g

Auflage

1st ed. 2018

Sprache

Englisch

ISBN

978-3-030-00800-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern

  • Produktbild: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management
  • Constraints.- Constraint Solving on Hybrid Systems.- Run-time Analysis of Temporal Constrained Objects.- Implementation of Logical Retraction in Constraint Handling Rules with Justifications.- The Proportional Constraint and Its Pruning.- An Operational Semantics for Constraint-logic Imperative Programming.- Hypertree Decomposition: The First Step Towards Parallel Constraint Solving.- Declarative Systems.- Declarative Aspects in Explicative Data Mining for Computational Sensemaking.- An Approach for Representing Answer Sets in Natural Language.- Techniques for Efficient Lazy-Grounding ASP Solving.- Reasoning Principles and Heurstic Strategies in Modeling Human Clusters.- Functional and Logic Programming.- Concolic Testing of Functional Logic Programs.- Declarative XML Schema Validation with SWI-Prolog.- plspec -  A Specification Language for Prolog Data.