Vor Ort
Merkzettel Warenkorb
  • Produktbild: Practical Aspects of Declarative Languages
  • Produktbild: Practical Aspects of Declarative Languages
Band 15537

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

Aus der Reihe Lecture Notes in Computer Science

63,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.03.2025

Abbildungen

XVI, 54 illus., 25 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

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, 54 illus., 25 illus. in color., schwarz-weiss Illustrationen, farbige Illustrationen

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

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