• 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: GPSR Kontakt

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: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

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: 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.