Del 16088 - Lecture Notes in Computer Science
Superposition for Higher-Order Logic
Häftad, Engelska, 2027
2 169 kr
Kommande
Alexander Bentkamp – författare
Visar alla böcker från författaren Alexander Bentkamp.
1 produkt
1 produkt
- Skönlitteratur
- Barn och ungdom
- Deckare
- Pennor och tillbehör
- Fantasy, SciFi och skräck
- Samhälle och politik
- Psykologi och pedagogik
- Anteckning
- Sport, fritid och hobby
- Spel och pussel
- Biografier
- Kalender
- Läromedel
- Hälsa och familj
- Ekonomi och Ledarskap
- Historia och arkeologi
- Tecknade serier
- Mat och dryck
- Filosofi och religion
- Kultur
- Naturvetenskap och teknik
- Måla och pyssla
- Språk och ordböcker
- Juridik
- Medicin
- Reseguider
- Kontorsmaterial
- Kort, Kuvert, Brevpapper
- Djur och Natur
- Ande, kropp och själ
- Hem och Trädgård
- Data och IT
- Hem och Fritid
- Lästillbehör
- Presentinslagning
- Romaner
- Romance
- Feelgood
- Action och Äventyrsromaner
- Komedi
- Poesi
- Essäer
- Noveller
- Litteraturvetenskap
- Dramatik
- Myter
- Erotiska böcker
- Antologier
- Sagor
- Folksagor
- Barnböcker 3-6 år
- Barnböcker 6-9 år
- Barnböcker 0-3 år
- Barnböcker 9-12 år
- Faktaböcker
- Kapitelböcker
- Pysselböcker
- Böcker 12-15 år
- Lättlästa barnböcker
- Ungdomsböcker
- Populära teman
- Klassiska barnböcker
- Presentböcker
- Kokböcker för barn
- Godnattsagor
- Thriller
- Deckare
- Polisromaner
- Mysdeckare
- Psykologisk spänning
- Historiska deckare
- Klassiska deckare
- Pennor
- Penntillbehör
- Fantasy
- Science fiction
- Skräck
- 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
- Anteckningsböcker och block
- Notisblock och flikar
- Anteckning för barn
- Gästböcker och adressböcker
- Hantverk och handarbete
- Sportböcker
- Hobby, spel och lekar
- Humor och presentböcker
- Fordonsböcker
- Livsstil och stilguider
- Fiske, jakt och skytte
- Antikviteter och samlarobjekt
- Fest och bröllop
- Spel
- Pussel
- Leksaker
- Sanna berättelser
- Biografier
- Självbiografier och Memoarer
- Tal
- Kalender och almanacka
- Adventskalender
- Läromedel: språk
- Läromedel: matematik och naturvetenskap
- Läromedel: yrkesutbildning och övriga ämnen
- Läromedel: estetiska ämnen
- Läromedel: samhälle och humaniora
- Läromedel: studiehandledningar och handböcker
- 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
- Nationalekonomi
- Ledarskapsböcker
- Industrier och branscher
- Karriärplanering
- Privatekonomi
- Historia
- Arkeologi
- Tecknade serier och romaner
- Manga
- Kokböcker
- Drycker
- Kokböcker från kända kockar
- Tobak
- Filosofi
- Religion och tro
- Konstböcker
- Musikböcker
- Arkitektur
- Designböcker
- Scenkonst och film
- Fotoböcker
- Matematik och naturvetenskap
- Geovetenskap
- Teknik och industri
- Kreativitet
- Måla och teckna
- Pyssel & DIY
- Fotoalbum och tillbehör
- Språkundervisning och språkinlärning
- Språk: referensverk och allmänt
- Språkvetenskap och lingvistik
- Särskilda rättsområden
- Rättsvetenskap
- Lagtextsamlingar, lagböcker
- Internationell rätt
- Juridik: handbö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
- Kirurgi
- Veterinärmedicin
- Alternativ medicin och terapier
- Reseböcker
- Kartböcker
- Parlörer
- Skrivbordsförvaring
- Skrivbordsprodukter
- Arkivering och bokföring
- Kopieringspapper
- Kort
- Kuvert
- Brevpapper
- Etiketter
- Placeringskort
- Djurböcker
- Naturböcker
- Ande, kropp och själ
- Övernaturliga fenomen / det paranormala
- Trädgårdsböcker
- Hus och hem
- Heminredning
- Systemvetenskap och AI
- Informationsteknik: allmänt
- Programmeringsböcker
- Digital livsstil och datorspel
- Databaser
- Människa – datorinteraktion
- Grafik och bildbehandling
- Affärsapplikationer
- IT-säkerhet
- Nätverk och kommunikation
- It-certifieringar
- Operativsystem
- Hårdvara
- Tillämpad datateknik
- Accessoarer
- Inredning
- Bokmärken
- Bokstöd och Book Nook
- Läsglasögon
- Läslampor
- Presentpapper
- Presentsnören
- Presentaskar och påsar