• 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. Hårdvara
      • Nyhet

      Automated Reasoning

      13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26–29, 2026, Proceedings, Part II

      AvArmin Biere,Carsten Lutz

      Häftad, Engelska, 2026

      Del 16689 i serien Lecture Notes in Computer Science

      461 kr

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

      Beskrivning

      This open access set, LNAI 16688-16689, constitutes the proceedings of the 13th International Joint Conference, IJCAR 2026, held in Lisbon, Portugal, during July 26–29, 2026.The 41 full research papers and 8 short papers included in these two volumes were carefully reviewed and selected from 112 submissions. The papers cover the following topical sections:Part I: Theorem Proving and Automation; SAT, SMT, and Verification; Intuitionistic, Modal, and Temporal Logics;Part II: Calculi, Proof Theory, and Decision Procedures; and Unification, Rewriting, and Computational Models.

      Produktinformation

      • Utgivningsdatum:2026-08-05
      • Mått:155 x 235 x 22 mm
      • Vikt:593 g
      • Format:Häftad
      • Språk:Engelska
      • Serie:Lecture Notes in Computer Science
      • Antal sidor:380
      • Förlag:Springer Nature Switzerland AG
      • ISBN:9783032325914

      Utforska kategorier

      • Hårdvara inom Data och IT
      • Programvaruutveckling inom Data och IT
      • Systemvetenskap och AI inom Data och IT
      Hoppa över listan

      Du kanske också är intresserad av

      Armin Biere, Carsten Lutz, Sara Negri - Automated Reasoning, Häftad
      • Nyhet
      Del 16688

      Automated Reasoning

      Armin Biere, Carsten Lutz, Sara Negri

      Häftad, 2026

      461 kr

      Sara Negri, Jan von Plato - Proof Analysis, Häftad

      Proof Analysis

      Sara Negri, Jan von Plato

      Häftad, 2014

      603 kr

      Oiva Ketonen, Sara Negri, Jan Von Plato - Investigations into the Predicate Calculus, Häftad

      Investigations into the Predicate Calculus

      Oiva Ketonen, Sara Negri, Jan Von Plato

      Häftad, 2022

      203 kr

      Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster - Mathesis Universalis, Computability and Proof, Häftad

      Mathesis Universalis, Computability and Proof

      Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

      Häftad, 2020

      1 329 kr

      Sara Negri, Jan von Plato - Structural Proof Theory, Häftad

      Structural Proof Theory

      Sara Negri, Jan von Plato

      Häftad, 2008

      603 kr

      Sara Negri, Anupam Das - Automated Reasoning with Analytic Tableaux and Related Methods, E-bok

      Automated Reasoning with Analytic Tableaux and Related Methods

      Sara Negri, Anupam Das

      E-bok
      2021

      739 kr

      Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster - Mathesis Universalis, Computability and Proof, Inbunden

      Mathesis Universalis, Computability and Proof

      Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster

      Inbunden, 2019

      1 329 kr

      Nicola Olivetti, Rineke Verbrugge, Sara Negri - Advances in Modal Logic, Volume 13, Häftad

      Advances in Modal Logic, Volume 13

      Nicola Olivetti, Rineke Verbrugge, Sara Negri

      Häftad, 2020

      298 kr

      Sara Negri, Jan von Plato - Proof Analysis, Inbunden

      Proof Analysis

      Sara Negri, Jan von Plato

      Inbunden, 2011

      1 349 kr

      Anupam Das, Sara Negri - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad
      Del 12842

      Automated Reasoning with Analytic Tableaux and Related Methods

      Anupam Das, Sara Negri

      Häftad, 2021

      574 kr