Automated Deduction: From Theory to Applications
Inbunden, Engelska, 2025
2 220 kr
Kommande
- Fri frakt över 249 kr
- •
- Snabba leveranser
- •
- Billiga böcker
KundserviceTill classic.bokus.com
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.
- Skönlitteratur
- Deckare
- Barn och ungdom
- Samhälle och politik
- Psykologi och pedagogik
- Biografier
- Fantasy, SciFi och skräck
- Hälsa och familj
- Ekonomi och Ledarskap
- Historia och arkeologi
- Filosofi och religion
- Naturvetenskap och teknik
- Mat och dryck
- Kultur
- Medicin
- Sport, fritid och hobby
- Läromedel
- Spel och pussel
- Pennor och tillbehör
- Juridik
- Tecknade serier
- Kalender
- Språk och ordböcker
- Djur och Natur
- Ande, kropp och själ
- Reseguider
- Data och IT
- Hem och Trädgård
- Anteckning
- Måla och pyssla
- Kort, Kuvert och Brevpapper
- Kontorsmaterial
- Lästillbehör
- Romaner
- Romance
- Feelgood
- Essäer
- Action och Äventyrsromaner
- Noveller
- Komedi
- Poesi
- Litteraturvetenskap
- Dramatik
- Myter
- Erotiska böcker
- Antologier
- Sagor
- Folksagor
- Polisromaner
- Thriller
- Deckare
- Mysdeckare
- Psykologisk spänning
- Historiska deckare
- Klassiska deckare
- Barnböcker 3-6 år
- Barnböcker 6-9 år
- Barnböcker 9-12 år
- Barnböcker 0-3 år
- Faktaböcker
- Kapitelböcker
- Pysselböcker
- Böcker 12-15 år
- Lättlästa barnböcker
- Ungdomsböcker
- Böcker om känslor
- Klassiska barnböcker
- Populära teman
- Kokböcker för barn
- Presentböcker
- Godnattsagor
- Samhälle och kultur
- Politik och statsskick
- Social välfärd och brottslighet
- Sociologi och antropologi
- Reportage, journalistik och krönikor
- Krig och försvar
- Psykologi
- Pedagogik
- Sanna berättelser
- Biografier
- Självbiografier och Memoarer
- Tal
- Fantasy
- Science fiction
- Skräck
- Hälsa
- Självhjälp och praktiska råd
- Relationer
- Föräldraböcker
- Självförsörjning och grön livsstil
- Prepping och överlevnadskunskap
- Företagsekonomi
- Ledarskapsböcker
- Nationalekonomi
- Industrier och branscher
- Karriärplanering
- Privatekonomi
- Historia
- Arkeologi
- Religion och tro
- Filosofi
- Matematik och naturvetenskap
- Geovetenskap
- Teknik och industri
- Kokböcker
- Kokböcker från kända kockar
- Drycker
- Tobak
- Musikböcker
- Konstböcker
- Designböcker
- Arkitektur
- Scenkonst och film
- Fotoböcker
- Andra medicinska specialiteter
- Medicin: allmänt
- Omvårdnad och medicinska stödfunktioner
- Klinisk medicin och internmedicin
- Medicin: icke kliniska discipliner
- Medicinska studiehandledningar och referensmaterial
- Alternativ medicin och terapier
- Kirurgi
- Veterinärmedicin
- Hantverk och handarbete
- Sportböcker
- Humor och presentböcker
- Hobby, spel och lekar
- Fordonsböcker
- Fest och bröllop
- Fiske, jakt och skytte
- Livsstil och stilguider
- Antikviteter och samlarobjekt
- Läromedel: matematik och naturvetenskap
- Läromedel: språk
- Läromedel: samhälle och humaniora
- Läromedel: yrkesutbildning och övriga ämnen
- Läromedel: estetiska ämnen
- Läromedel: studiehandledningar och handböcker
- Spel
- Pussel
- Leksaker
- Pennor
- Penntillbehör
- Särskilda rättsområden
- Rättsvetenskap
- Lagtextsamlingar, lagböcker
- Internationell rätt
- Juridik: handböcker
- Tecknade serier och romaner
- Manga
- Adventskalender
- Kalender och almanacka
- Språk: referensverk och allmänt
- Språkundervisning och språkinlärning
- Språkvetenskap och lingvistik
- Djurböcker
- Naturböcker
- Ande, kropp och själ
- Övernaturliga fenomen / det paranormala
- Reseböcker
- Kartböcker
- Parlörer
- Systemvetenskap och AI
- Informationsteknik: allmänt
- Programmeringsböcker
- Grafik och bildbehandling
- Databaser
- Digital livsstil och datorspel
- Människa – datorinteraktion
- Affärsapplikationer
- IT-säkerhet
- Nätverk och kommunikation
- Operativsystem
- It-certifieringar
- Tillämpad datateknik
- Hårdvara
- Trädgårdsböcker
- Hus och hem
- Heminredning
- Anteckningsböcker och block
- Notisblock och flikar
- Gästböcker och adressböcker
- Anteckning för barn
- Pyssel & DIY
- Kreativitet
- Måla och teckna
- Fotoalbum och tillbehör
- Kort
- Kuvert
- Brevpapper
- Etiketter
- Placeringskort
- Skrivbordsförvaring
- Skrivbordsprodukter
- Kopieringspapper
- Arkivering och bokföring
- Bokmärken
- Bokstöd och Book Nook
- Läsglasögon
- Läslampor
