• Fri frakt över 249 kr
  • •
  • Snabba leveranser
  • •
  • Billiga böcker
Kundservice

Du är på sajten för privatpersoner.

Företag, bibliotek eller offentlig verksamhet?

Du handlar på classic.bokus.com, där alla dina funktioner finns intakta.
Till classic.bokus.com
Bokus logotyp. Gå till startsidan.
  • Erbjudanden
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Ljudböcker
  • Pocketböcker
  • Spel och pussel

5% studentrabatt – använd koden KURSBOK27 →

Sidfot

Mina sidor

    Hjälp

    • Kundservice
    • Vanliga frågor och svar
    • Frakt och leverans
    • Retur vid ångerrätt
    • Reklamera vara
    • Betalning
    • Köpvillkor
    • Allmänna villkor
    • Information om webbplatsens tillgänglighet

    Om Bokus

    • Om oss
    • Pressrum
    • För studenter
    • För företag
    • För bibliotek och offentlig verksamhet
    • För leverantörer
    • Hållbarhet

    Populärt

    • Aktuella erbjudanden
    • Presentkort
    • Studentlitteratur
    • Nya böcker
    • Topplistor
    • Signerade böcker
    • Engelska böcker

    Inspiration

    • Boktips
    • BookTok
    • Barnbokskaraktärer
    • Populära författare
    Logotyp för Bokus
    Följ oss på Facebook (extern länk)Följ oss på Instagram (extern länk)Följ oss på YouTube (extern länk)Följ oss på TikTok (extern länk)
    bokus @ CookiesAnpassa cookiesIntegritetspolicyKöpvillkor
    Till Citymail hemsida (extern länk)Till Budbee hemsida (extern länk)Till Postnord hemsida (extern länk)Till Schenker hemsida (extern länk)Till Early Bird hemsida (extern länk)Till Walleys hemsida (extern länk)
    1. Data och IT
    2. Systemvetenskap och AI

    Logic-Based Program Synthesis and Transformation

    35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings

    AvSantiago Escobar,Laura Titolo

    Häftad, Engelska, 2025

    Del 16117 i serien Lecture Notes in Computer Science

    647 kr

    Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

    Beskrivning

    This volume constitutes the proceedings of 35th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2025, held in Rende, Italy, during September 9–10, 2025.The 17 full papers and 4 short paper included in this book were carefully reviewed and selected from  21 submissions. These papers cover all aspects of logic-based program development, all stages of the software life cycle, and issues of both programming-in-the-small and programming-in-the-large.

    Produktinformation

    • Utgivningsdatum:2025-09-13
    • Mått:155 x 235 x 13 mm
    • Vikt:347 g
    • Format:Häftad
    • Språk:Engelska
    • Serie:Lecture Notes in Computer Science
    • Antal sidor:213
    • Förlag:Springer Nature Switzerland AG
    • ISBN:9783032048479

    Utforska kategorier

    • Systemvetenskap och AI inom Data och IT

    Innehållsförteckning

    • .- Symbolic Computation and Verification Methods in Maude..- Verifying Smart Contracts in Yul via Transformation to CHC byInterpreter Specialization..- Implementing a Many-Valued Semantics for Logic Programs withOrdered Disjunction Using ASP..- Extending the FSyntax/Hiord Approach with Imperative Notation..- Higher-Order Pattern Unification Modulo Similarity Relations..- A Completion Procedure for Equational Rewriting Systems with Binders..- Automated Certification of Logic Programs Groundness Analysis..- Managing Analysis and Verification Information about Curry Packages..- Program synthesis for geometric modeling..- Recurrent Pairs Revisited..- Logica and LogicLM Program Synthesis Evaluation..- Characterizing Equivalence of Logically Constrained Terms viaExistentially Constrained Terms..- Focusing Recursive LLM Descents with Plans Expressed as LogicPrograms.