Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

Gültig bis 13.07.2026 | Gültig für Spielzeug (außer Tonieboxen & ausgewählte Tonies), Filme, Musik, Software, Games, Schreibwaren, Hörbücher und Hörbuch-Downloads (außer Abo & Shelfies), gebrauchte Bücher, nicht preisgebundene Bücher und Kalender | Einlösbar unter thalia.de und in der Thalia App | Click & Collect nur mit Online-Zahlung (Paypal/Kreditkarte) vorab | Einzelne Artikel können ausgeschlossen sein | Nicht kombinierbar mit anderen Gutscheinen oder Preisaktionen | Nur einmal pro Einkauf einlösbar | Gutschein wird auf max. 500€ Bestellwert angerechnet | Keine Barauszahlung | Digitale Hörbücher nur für Android | Nicht gültig für preisgebundene Artikel (aufgrund der Buchpreisbindung sind Gutscheine nicht auf Bücher, eBooks, Presse einlösbar), tolino eReader & Zubehör, Elektronik, Geschenke & Trends, Abonnements & Flatrates, Geschenkkarten, Versandkosten und Services
  • Produktbild: Declarative Programming and Knowledge Management
  • Produktbild: Declarative Programming and Knowledge Management
Band 8439

Declarative Programming and Knowledge Management Declarative Programming Days, KDPD 2013, Unifying INAP, WFLP, and WLP, Kiel, Germany, September 11-13, 2013, Revised Selected Papers

Aus der Reihe Lecture Notes in Computer Science

48,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

X, 51 illus., schwarz-weiss Illustrationen

Herausgeber

Michael Hanus + weitere

Verlag

Springer

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

406 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-08908-9

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

24.07.2014

Abbildungen

X, 51 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer

Seitenzahl

251

Maße (L/B/H)

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

Gewicht

406 g

Auflage

2014

Sprache

Englisch

ISBN

978-3-319-08908-9

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

  • Construction of Explanation Graphs from Extended Dependency Graphs for Answer Set Programs.- Sharing and Exchanging Data.- Propositional Encoding of Constraints over Tree-Shaped Data.- On a High-Level Approach to Implementing Exact Real Arithmetic in the Functional Logic Programming Language Curry.- On Axiomatic Rejection for the Description Logic ALC.- And Action! - Monoid Actions and (Pre)orders.- HEX-Programs with Existential Quantification.- Introducing Real Variables and Integer Objective Functions to Answer Set Programming.- Coverage Driven Test Generation and Consistency Algorithm.- A Datalog Engine for GPUs.- Towards Parallel Constraint-Based Local Search with the X10 Language.- Debate Games in Logic Programming.- A Descriptive Handling of Directly Con icting Rules in Preferred Answer Sets.- Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.- Heuristic Search Over Program Transformations.