Produktbild för Automated Reasoning (häftad, eng)
Springer International Publishing AG

Automated Reasoning (häftad, eng)

Gästpris:
Ditt medlemspris:
647 kr
789 kr
Spara 162 kr jämfört med Rek. pris
Spara 20 kr jämfört med Rek. pris

Bra val!

Medlemskapet har nu lagts i din varukorg, vilket ger dig omedelbar tillgång till våra inköpspriser. Dessutom garanteras du alltid det lägsta priset online på alla produkter genom vår prisgaranti.

Som medlem får du:
  • Handla över 1 miljon produkter till inköpspris
  • Lägst prisgaranti på allt du handlar
  • Klicka hem gratisprodukter varje månad
  • Chans att vinna presentkort varje vecka i våra roliga quiz
  • Tillgång till hemliga deals från våra partners
  • Fria returer

Medlemskapet debiteras separat, 69 kr per månad. Säg upp när du vill, ingen uppsägningstid.

Vill du handla som gäst istället?

Inga problem! Klicka ur det här valet eller ta bort medlemskapet från varukorgen innan du checkar ut.

Prisförklaring

Medlemspris 647 kr

Som medlem kan du köpa denna och över 1 miljon produkter i sortimentet till våra egna inköpspriser.

Att vara medlem kostar från 59 kr/månad vilket gör att vi kan ta bort hela produktmarginalen och istället erbjuda dig världens billigaste shopping med lägsta prisgaranti.

Läs mer och bli medlem

Gästpris 789 kr

Gästpriset är det pris man betalar för denna vara som icke-medlem.

Rek. pris 809 kr

Rek. pris (rekommenderat pris) är det pris som tillverkaren eller varumärket föreslår att produkten ska säljas för. Det är ett riktmärke och används ofta som grund för att jämföra priser mellan återförsäljare.

Endast 2 kvar, beräknas skickas inom 6 - 7 vardagar

Välj antal

Gå till kassan

Vad innebär detta?

Lägsta prisgaranti för medlemmar

Bli medlem idag så får du lägsta prisgaranti på den här produkten och köper den till världens lägsta pris. Om du köper den av oss som medlem och sedan upptäcker att den finns till ett lägre pris hos annan återförsäljare inom 100 dagar, återbetalar vi mellanskillnaden till dig i form av ett presentkort.

Läs mer om hur du nyttjar prisgarantin

  • Inköpspriser för medlemmar (Logga in)
  • Frakt från 0 kr
  • 14 dagars öppet köp

Se mer inom:

Frågor? Starta chatt
4.1 / 5
Infotext (nur auf Basis des Vorgängers): This two-volume set of LNAI 14739-14740 constitute the proceedings of the 12th International Joint Conference on Automated Reasoning, IJCAR 2024, held in Nancy, France, during July 3-6, 2024. The 39 full research papers and 6 short papers presented in this book were carefully reviewed and selected from 115 submissions.

The papers focus on the following topics: theorem proving and tools; SAT, SMT and Quantifier Elimination; Intuitionistic Logics and Modal Logics; Calculi, Proof Theory and Decision Procedures; and Unification, Rewriting and Computational Models. This book is open access  


Format Häftad
Omfång 424 sidor
Språk Engelska
Förlag Springer International Publishing AG
Utgivningsdatum 2024-07-02
ISBN 9783031635007

Artikelnummer

3920402

EAN

9783031635007

Leverans:

Denna produkt skickas från oss inom 6 - 7 vardagar. I kassan väljer du om du vill få leverans med Budbee, Airmee, Best Transport, Early Bird, Postnord eller DB Schenker. Vissa speditörer har vikt- eller storleksbegränsningar och kan av den anledningen saknas som alternativ i kassan om du handlar många eller väldigt stora produkter.

Fri retur:

För medlemmar gäller fri retur och 14 dagars full returrätt från den dagen du tar emot din leverans. För övriga kostar retur från 49 kr.

Undantag för retur- och ångerrätt:

Dessa är exempel på varor som inte omfattas av retur- eller ångerrätt. Observera att det kan finnas andra undantag som inte listas här.
  • Använda, skadade och/eller inkompletta produkter
  • Dagligvaror (livsmedel, läkemedel, nikotinprodukter)
  • Hygienartiklar & kroppsnära produkter (rakapparater, in ear-hörlurar, aktivitetsklockor)
  • Intimprodukter (menskoppar, kondomer och glidmedel)
  • Kosmetikprodukter (inkl. hår- och hudvårdsprodukter, parfymer, etc.)
  • Underkläder (inkl. badkläder, underställ och strumpor)
  • Ljud- & bildupptagningar, spel/program (om förseglingen brutits eller licensnyckeln erhållits.)
  • Teknikprodukter om försegling brutits eller programvara har installerats (mobiltelefoner, surfplattor, laptops, etc.)
  • Gratisprodukter
Om du är osäker på om en produkt omfattas av ångerrätt kan du alltid kontakta vår kundtjänst på info@buyersclub.se, så hjälper vi dig gärna!

Leveranser:

  • instabox
  • early bird
  • dsv
  • budbee
  • postnord
  • citymail

Se mer inom:

4.1 / 5