• 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

Upp till 20% på populära nyheter →

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 @ 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. Filosofi och religion
      2. Filosofi
      3. Filosofiska discipliner

      Logic, Language, Information, and Computation

      27th International Workshop, WoLLIC 2021, Virtual Event, October 5–8, 2021, Proceedings

      AvAlexandra Silva,Renata Wassermann

      Häftad, Engelska, 2021

      Del 13038 i serien Lecture Notes in Computer Science

      824 kr

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

      Beskrivning

      Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 27th Workshop on Logic, Language, Information and Communication, WoLLIC 2021, Virtual Event, in October 2021. The 25 full papers presented included 6 invited lectures were fully reviewed and selected from 50 submissions.The idea is to have a forum which is large enough in the number of possible interactions between logic and the sciences related to information and computation.

      Produktinformation

      • Utgivningsdatum:2021-10-06
      • Mått:155 x 235 x 24 mm
      • Vikt:657 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:427
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783030888527

      Utforska kategorier

      • Filosofiska discipliner inom Filosofi och religion

      Innehållsförteckning

      • Logic.- Language.- Computation.- Proofs.- Formal Languages.- Category Theory.- Deduction systems.
      Hoppa över listan

      Du kanske också är intresserad av

      Ruy de Queiroz, Renata Wassermann, Alexandra Silva - Logic, Language, Information, and Computation, E-bok

      Logic, Language, Information, and Computation

      Ruy de Queiroz, Renata Wassermann, Alexandra Silva

      E-bok
      2021

      1 026 kr

      Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe - Foundations of Probabilistic Programming, E-bok

      Foundations of Probabilistic Programming

      Alexandra Silva, Joost-Pieter Katoen, Gilles Barthe

      E-bok
      2020

      1 002 kr

      Carla Umbach, Peter Sutton, Sam Staton, Alexandra Silva - Language, Logic, and Computation, E-bok

      Language, Logic, and Computation

      Carla Umbach, Peter Sutton, Sam Staton, Alexandra Silva

      E-bok
      2019

      718 kr

      Alexandra Silva, Robert L. Constable - Logic and Program Semantics, E-bok

      Logic and Program Semantics

      Alexandra Silva, Robert L. Constable

      E-bok
      2012

      732 kr

      Ahmed Bouajjani, Alexandra Silva - Formal Techniques for Distributed Objects, Components, and Systems, Häftad
      Del 10321

      Formal Techniques for Distributed Objects, Components, and Systems

      Ahmed Bouajjani, Alexandra Silva

      Häftad, 2017

      566 kr

      Robert L. Constable, Alexandra Silva - Logic and Program Semantics, Häftad

      Logic and Program Semantics

      Robert L. Constable, Alexandra Silva

      Häftad, 2012

      566 kr

      Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach - Language, Logic, and Computation, Häftad

      Language, Logic, and Computation

      Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach

      Häftad, 2019

      549 kr

      Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad
      Del 12759

      Computer Aided Verification

      Alexandra Silva, K. Rustan M. Leino

      Häftad, 2021

      462 kr

      Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva - Foundations of Probabilistic Programming, Inbunden

      Foundations of Probabilistic Programming

      Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva

      Inbunden, 2020

      859 kr

      Alexandra Silva, K. Rustan M. Leino - Computer Aided Verification, Häftad
      Del 12760

      Computer Aided Verification

      Alexandra Silva, K. Rustan M. Leino

      Häftad, 2021

      462 kr