• 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
  • Nyheter
  • Student
  • Topplistor
  • Barn & ungdom
  • Bokus Play
  • E-böcker
  • Pocketböcker
  • Spel & pussel

10% studentrabatt med kod TERM26

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
    • Populära bokserier
    • Barnbokskaraktärer
    • Populära författare

    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
      • Populära bokserier
      • 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

      Practical Aspects of Declarative Languages

      22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20–21, 2020, Proceedings

      AvEkaterina Komendantskaya,Yanhong Annie Liu

      Häftad, Engelska, 2020

      Del 12007 i serien Lecture Notes in Computer Science

      566 kr

      Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

      Beskrivning

      This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020.The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation.

      Produktinformation

      • Utgivningsdatum:2020-01-17
      • Mått:155 x 235 x 14 mm
      • Vikt:388 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:223
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030391966

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Artificiell intelligens inom Data och IT
      • Programspråk inom Data och IT

      Innehållsförteckning

      • Logical Engines and Applications.- Interactive Text Graph Mining with a Prolog-based Dialog Engine.- Flexible graph matching and graph edit distance using answer set programming.- On Repairing Web Services Workflows.- Answer Set Programming Systems.- AQuA: ASP-based Visual Question Answering.- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report.- VRASP: A Virtual Reality Environment for Learning Answer Set Programming.- Memory and Real-Time in Functional Programming.- On the Effects of Integrating Region-based Memory Management and Generational Garbage Collection in ML.- RTMLton: An SML runtime for real-time systems.- A Timed IO monad.- Reasoning and Efficient Implementation.- Exploiting Database Systems and Treewidth for Counting.- Whitebox Induction of Default Rules Using High-Utility Itemset Mining.- Small Languages and Implementation.- Explanations for Dynamic Programming.- A DSL for Integer Range Reasoning: Partition, Interval and Mapping Diagrams.- Variability-Aware Datalog.
      Hoppa över listan

      Du kanske också är intresserad av

      Yanhong Annie Liu, Ekaterina Komendantskaya - Practical Aspects of Declarative Languages, E-bok

      Practical Aspects of Declarative Languages

      Yanhong Annie Liu, Ekaterina Komendantskaya

      E-bok
      2020

      732 kr

      Ekaterina Komendantskaya - Mathematics of Program Construction, E-bok

      Mathematics of Program Construction

      Ekaterina Komendantskaya

      E-bok
      2022

      813 kr

      Ekaterina Komendantskaya, Michael Sperber - Functional and Logic Programming, E-bok

      Functional and Logic Programming

      Ekaterina Komendantskaya, Michael Sperber

      E-bok
      2026

      975 kr

      Ekaterina Komendantskaya - Mathematics of Program Construction, Häftad
      Del 13544

      Mathematics of Program Construction

      Ekaterina Komendantskaya

      Häftad, 2022

      655 kr

      Michael Sperber, Ekaterina Komendantskaya - Functional and Logic Programming, Häftad
      Del 16533

      Functional and Logic Programming

      Michael Sperber, Ekaterina Komendantskaya

      Häftad, 2026

      745 kr

      Michael Kifer, Yanhong Annie Liu - Declarative Logic Programming, Inbunden

      Declarative Logic Programming

      Michael Kifer, Yanhong Annie Liu

      Inbunden, 2018

      1 403 kr

      Yanhong Annie Liu - Systematic Program Design, E-bok

      Systematic Program Design

      Yanhong Annie Liu

      E-bok
      2013

      715 kr

      Yanhong Annie Liu, Michael Kifer - Declarative Logic Programming, E-bok

      Declarative Logic Programming

      Yanhong Annie Liu, Michael Kifer

      E-bok
      2018

      783 kr

      Yanhong Annie Liu - Systematic Program Design, Inbunden

      Systematic Program Design

      Yanhong Annie Liu

      Inbunden, 2013

      1 126 kr

      Michael Kifer, Yanhong Annie Liu - Declarative Logic Programming, Häftad

      Declarative Logic Programming

      Michael Kifer, Yanhong Annie Liu

      Häftad, 2018

      1 163 kr