Hoppa till sidans huvudinnehåll

Loading component...

BOKREA 2026 Slutspurten är igång ❯

Loading component...

Sidfot

Loading component...

Akademibokhandelns logotyp, till startsida

Sök efterläsglädje bland miljontals titlarbarnböckernobelvinnarenyheterpresenttipsinspiration

Loading component...

Data och IT
Programmeringsböcker

Automated Deduction - CADE-25

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Häftad, Engelska, 2015

AvAmy P. Felty,Aart Middeldorp

709 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions.

Produktinformation

Utgivningsdatum2015-07-30
Mått155 x 235 x 36 mm
Vikt996 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor640
FörlagSpringer International Publishing AG
ISBN9783319214009

Tillhör följande kategorier

Programmeringsböcker inom Data och it
Artificiell intelligens inom Data och it
Databaser inom Data och it
Människa – datorinteraktion inom Data och it
Tillämpad datateknik inom Data och it
Systemvetenskap och AI inom Data och it

Automated deduction.- Foundations.- Applications.- Implementations.- Practical experience.

Hoppa över listan

Du kanske också är intresserad av

Rewriting Techniques and Applications

Aart Middeldorp

Häftad

709 kr

Functional and Logic Programming

Aart Middeldorp, Taisuke Sato

Häftad

709 kr

Logic for Programming, Artificial Intelligence, and Reasoning

Ken McMillan, Aart Middeldorp, Andrei Voronkov

Häftad

709 kr

Processes, Terms and Cycles: Steps on the Road to Infinity

Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Roel de Vrijer, Vincent Van Oostrom, Vincent van Oostrom, Femke van Raamsdonk

Häftad

1 369 kr

Bokrea

Liken vi begravde

Lina Wolff

Inbunden

119 kr329 kr

Bokrea

Mina vänner

Fredrik Backman

Inbunden

119 kr319 kr

Bokrea

Del 6

Den yttersta hemligheten

Dan Brown

Inbunden

149 kr329 kr

Bokrea

Grönsaker A-Ö : recept och bruksanvisning

Paul Svensson

Inbunden

179 kr399 kr

Bokrea

Del 2

Väninnorna på Nordiska Kompaniet

Ruth Kvarnström-Jones

Inbunden

89 kr339 kr

Bokrea

Del 1

Klanen

Pascal Engman

Inbunden

99 kr299 kr

Akademibokhandeln

Om oss
Butiker
Akademibokhandelns vänner
Pressrum
Hållbarhet
Jobba hos oss

Hjälp

Kundservice
Leverans
Betalning
Retur
FAQ
Köpvillkor
Integritetspolicy
Tävlingsvinnare
Information om tillgänglighet

Tjänster

Köp begagnad kurslitteratur
Sälj begagnad kurslitteratur
Bokus Play - ljudbokstjänst
Evenemang
Låna & Läs
Läsborgarmärket
Vässa pennan
Skrivutmaning

Erbjudanden

Bokrea
Aktuella vänpriser
Månadens pocket
Studenterbjudanden
Pocket 4 för 3
Förhandsläsning
Presentkort

Inspiration

Boktips & Inspiration
Topplistor
Bokcirkeltips
Om barns läsning
Tidningen LÄS
Hitta rätt bok till barnen
Podcasten Du är vad du läser

Logotyp för Akademibokhandeln

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)

akademibokhandeln @ 2026Cookies Anpassa cookies Integritetspolicy Köpvillkor Medlemsvillkor

Till Instabox hemsida (extern länk)Till Budbees hemsida (extern länk)Till Postnords hemsida (extern länk)Till Schenkers hemsida (extern länk)Till Early Birds hemsida (extern länk)Till Walleys hemsida (extern länk)

Böcker
Spel och pussel
Pennor och tillbehör
Aktuella erbjudanden
Topplistor
Bokrea 2026
Presentkort