• Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
Band 15537 - 16%

Practical Aspects of Declarative Languages 27th International Symposium, PADL 2025, Denver, CO, USA, January 20–21, 2025, Proceedings

16% sparen

59,99 € UVP 71,49 €

inkl. gesetzl. MwSt., Versandkostenfrei


Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.2025

Abbildungen

XVI, 249 p. 54 illus., 25 illus. in color.

Herausgeber

Esra Erdem + weitere

Verlag

Springer

Seitenzahl

249

Maße (L/B/H)

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

Gewicht

411 g

Sprache

Englisch

ISBN

978-3-031-84923-7

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.2025

Abbildungen

XVI, 249 p. 54 illus., 25 illus. in color.

Herausgeber

Verlag

Springer

Seitenzahl

249

Maße (L/B/H)

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

Gewicht

411 g

Sprache

Englisch

ISBN

978-3-031-84923-7

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

  • .- On Bridging Prolog and Python to Enhance an Inductive Logic Program-ming System.


    .- Type-Checking Heterogeneous Sequences in a Simple Embeddable Type System.


    .- The Scenic Route to Deforestation.


    .- MOLA: A Runtime Verification Engine Factory by (Meta-)interpreting Em-bedded DSLs.


    .- SM-based Semantics for Answer Set Programs Containing Conditional Lit-erals and Arithmetic.


    .- A practical approach to handling tabular data in logic.


    .- Automated Playing of Survival Video Games with Commonsense Reasoning.


    .- Checking Concurrency Coding Rules.


    .- A Weighted Bipolar Argumentation Framework and its ASP-based Imple-mentation.


    .- Haskell Based Spreadsheets.


    .- Leveraging LLM Reasoning with Dual Horn Programs.


    .- ASP for Language Documentation and Reclamation: A Derivational Stem-ming Tool for Myaamia.


    .- Enhancing a Hierarchical Graph Rewriting Language based on MELL CutElimination.


    .- C3G: Causally Constrained Counterfactual Generation.


    .- Exploring Answer Set Programming for Provenance Graph-Based CyberThreat Detection: A Novel Approach.