• 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. Data och IT
      2. Systemvetenskap och AI

      Automated Reasoning

      11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022, Proceedings

      AvJasmin Blanchette,Laura Kovács

      Häftad, Engelska, 2022

      Del 13385 i serien Lecture Notes in Computer Science

      462 kr

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

      Beskrivning

      This volume, LNAI 13385, constitutes the refereed proceedings of the 11th International Joint Conference on Automated Reasoning, IJCAR 2022, held in Haifa, Israel, in August 2022.  The 32 full research papers and 9 short papers presented together with two invited talks were carefully reviewed and selected from 85 submissions. The papers focus on the following topics: Satisfiability, SMT Solving,Arithmetic; Calculi and Orderings; Knowledge Representation and Jutsification; Choices, Invariance, Substitutions and Formalization; Modal Logics; Proofs System and Proofs Search; Evolution, Termination and Decision Prolems.This is an open access book.

      Produktinformation

      • Utgivningsdatum:2022-07-17
      • Mått:155 x 235 x 42 mm
      • Vikt:1 147 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:756
      • Förlag:Springer International Publishing AG
      • ISBN:9783031107689

      Utforska kategorier

      • Systemvetenskap och AI inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Artificiell intelligens inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Rolf Hennicker, Dirk Pattinson, Martin Wirsing - Recent Trends in Algebraic Development Techniques, E-bok

      Recent Trends in Algebraic Development Techniques

      Rolf Hennicker, Dirk Pattinson, Martin Wirsing

      E-bok
      2003

      732 kr

      Jasmin Blanchette, Assia Mahboubi - Proof Assistants and Their Applications in Mathematics and Computer Science, Inbunden

      Proof Assistants and Their Applications in Mathematics and Computer Science

      Jasmin Blanchette, Assia Mahboubi

      Inbunden, 2027

      866 kr

      Dirk Pattinson, Lutz Schröder - Coalgebraic Methods in Computer Science, Häftad

      Coalgebraic Methods in Computer Science

      Dirk Pattinson, Lutz Schröder

      Häftad, 2012

      549 kr

      Martin Wirsing, Dirk Pattinson, Rolf Hennicker - Recent Trends in Algebraic Development Techniques, Häftad

      Recent Trends in Algebraic Development Techniques

      Martin Wirsing, Dirk Pattinson, Rolf Hennicker

      Häftad, 2003

      566 kr

      Lutz Schroder, Dirk Pattinson - Coalgebraic Methods in Computer Science, E-bok

      Coalgebraic Methods in Computer Science

      Lutz Schroder, Dirk Pattinson

      E-bok
      2012

      712 kr

      Nikolai Kosmatov, Laura Kovács - Integrated Formal Methods, Häftad
      Del 15234

      Integrated Formal Methods

      Nikolai Kosmatov, Laura Kovács

      Häftad, 2024

      1 581 kr

      Laura Kovács, Ana Sokolova - Reachability Problems, Häftad
      Del 15050

      Reachability Problems

      Laura Kovács, Ana Sokolova

      Häftad, 2024

      746 kr

      Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 14570

      Tools and Algorithms for the Construction and Analysis of Systems

      Bernd Finkbeiner, Laura Kovács

      Häftad, 2024

      457 kr

      Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 14572

      Tools and Algorithms for the Construction and Analysis of Systems

      Bernd Finkbeiner, Laura Kovács

      Häftad, 2024

      462 kr

      Bernd Finkbeiner, Laura Kovács - Tools and Algorithms for the Construction and Analysis of Systems, Häftad
      Del 14571

      Tools and Algorithms for the Construction and Analysis of Systems

      Bernd Finkbeiner, Laura Kovács

      Häftad, 2024

      462 kr