Del 10 - Progress in Computer Science and Applied Logic
Graph-Based Proof Procedures for Horn Clauses
Häftad, Engelska, 1990
709 kr
Skickas inom 10-15 vardagar
RAATZ – författare
Visar alla böcker från författaren RAATZ.
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
- Läromedel
- Kalender
- Hälsa och familj
- Ekonomi och Ledarskap
- Tecknade serier
- Historia och arkeologi
- Mat och dryck
- Kultur
- Filosofi och religion
- 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
- Lästillbehör
- Hem och Fritid
- Presentinslagning
- Romaner
- Romance
- Feelgood
- Action och Äventyrsromaner
- Komedi
- Poesi
- Noveller
- Litteraturvetenskap
- Essäer
- 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
- Lättlästa barnböcker
- Böcker 12-15 år
- Ungdomsböcker
- Populära teman
- Klassiska barnböcker
- Presentböcker
- Kokböcker för barn
- Godnattsagor
- Polisromaner
- Thriller
- Deckare
- Psykologisk spänning
- Mysdeckare
- 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
- Fest och bröllop
- Antikviteter och samlarobjekt
- Spel
- Pussel
- Leksaker
- Biografier
- Sanna berättelser
- Självbiografier och Memoarer
- Tal
- 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
- Kalender och almanacka
- Adventskalender
- 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
- Karriärplanering
- Industrier och branscher
- Privatekonomi
- Tecknade serier och romaner
- Manga
- Historia
- Arkeologi
- Kokböcker
- Drycker
- Kokböcker från kända kockar
- Tobak
- Musikböcker
- Konstböcker
- Arkitektur
- Designböcker
- Scenkonst och film
- Fotoböcker
- Filosofi
- Religion och tro
- 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
- Omvårdnad och medicinska stödfunktioner
- Medicin: allmänt
- 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
- Placeringskort
- Etiketter
- 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
- Nätverk och kommunikation
- IT-säkerhet
- It-certifieringar
- Operativsystem
- Hårdvara
- Tillämpad datateknik
- Bokmärken
- Bokstöd och Book Nook
- Läsglasögon
- Läslampor
- Accessoarer
- Inredning
- Presentpapper
- Presentsnören
- Presentaskar och påsar