Gutscheinbedingungen

*Gültig bis 20.09.2026 auf (fast) alles. Ausgeschlossen sind Smartboxen, Zeitschriften, Tickets, Lebensmittel, Gaming-Elektroartikel, Tinte/Toner, Gutscheine, Geschenkkarten, Blumen und Abos | Einlösbar in allen Buchhandlungen von Orell Füssli, Barth Bücher, Buchladen Rapunzel, Schuler Orell Füssli, Stauffacher und ZAP unter Vorweisung des Gutscheins, auf www.orellfüssli.ch durch Eingabe des Gutscheincodes. Beim Service „eBooks verschenken“ und bei eBook-Käufen via eReader nicht einlösbar | Mindesteinkaufswert: Fr. 100.- | Nicht mit anderen Rabatten kumulierbar.

  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
Band 13880

Practical Aspects of Declarative Languages 25th International Symposium, PADL 2023, Boston, MA, USA, January 16–17, 2023, Proceedings

Fr. 106.00

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.01.2023

Abbildungen

XVIII, 313 p. 433 illus., 28 illus. in color.

Herausgeber

Michael Hanus + weitere

Verlag

Springer

Seitenzahl

313

Maße (L/B/H)

23.5/15.5/1.9 cm

Gewicht

505 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-24840-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

08.01.2023

Abbildungen

XVIII, 313 p. 433 illus., 28 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

313

Maße (L/B/H)

23.5/15.5/1.9 cm

Gewicht

505 g

Auflage

1st ed. 2023

Sprache

Englisch

ISBN

978-3-031-24840-5

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

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: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
  • Functional Programming.-  RICE: An Optimizing Curry.- Program Synthesis Using Example Propagation.- Embedding Functional Logic Programming in Haskell via a Compiler Plugin.- Execution Time Program Verification With Tight Bounds.- Fluo: A Domain-Specific Language for Experiments in FluorescenceMicroscopy (Application Paper).-  Logic Programming.-  Flexible Job-shop Scheduling for Semiconductor Manufacturing with Hybrid Answer Set Programming (Application Paper).- Integrating ASP-based incremental reasoning in the videogame development workflow (Application Paper).- Dynamic slicing of Reaction Systems based on assertions and monitors.- Multiple Query Satisfiability of Constrained Horn Clauses.- Formalizing and Reasoning about Supply Chain Contracts between Agents.- From Starvation Freedom to All-Path Reachability Problems in Constrained Rewriting.- SwitchLog: A Logic Programming Language for Network Switches.- Linear Algebraic Abduction with Partial Evaluation.- Using Hybrid Knowledge Bases for Meta-reasoning over OWL 2 QL.- Solving Vehicle Equipment Specification Problems with Answer Set Programming.- UAV Compliance Checking using Answer Set Programming and Minimal Explanations towards Compliance (Application Paper).- Jury-trial Story Construction and Analysis using Goal-directed Answer Set Programming.- Pruning Redundancy in Answer Set Optimization Applied to Preventive Maintenance Scheduling.- Automatic Rollback Suggestions for Incremental Datalog Evaluation.