Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Preverjanje stanja naročila

Postanite del skupnosti ljubiteljev knjig z vsega sveta in uživajte v številnih ugodnostih. Ustvarite brezplačen račun

Brezplačna dostava Zásilkovna nad 69.99 €

Zbirna točka GLS 4.49 € Zbirna točka DPD 2.99 € Kurirska služba GLS 5.49 € Kurir DPD 3.49 € Kurirska služba Express One 3.49 € Zbirno mesto Express One 3.49 € Zbirno mesto Pošte Slovenije 3.49 € Dostava preko Pošte Slovenije 3.49 €

Kontakt

Kako nakupovati

Pomoč

Moj račun

▸ Prazna :-(

Brezplačna dostava za naročila nad 69.99 € na paketomatih Pošte Slovenije.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01657129
Price: 48.79 EUR
Availability: InStock
Author: Edmund M. Clarke
ISBN: 9783642175107

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Edmund M. Clarke

Andrei Voronkov

Jezik

Angleščina

Knjiga Mehka

Koda Libristo: 01657129

Založba Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januar 2011

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Celoten opis

Koda Libristo: 01657129

118 b

48.79 €

Na zalogi pri dobavitelju Odposlali bomo v 5-8 dneh

Do 30 dni za vračilo

Drugi so kupili tudi

Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain

Mehka

36.36 €

CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA

Knjiga

19.39 €

Hans Von Bulow Marie von Bülow

Mehka

33.53 €

La Sainte-Chapelle Paris NE Françoise Perrot

Trda

33.63 €

CANDYMAN - BRD ROSE Film

DVD

29.19 €

Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers

Trda

82.84 €

I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books

Mehka

15.75 €

Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore

Mehka

24.64 €

Rechnernetze Peter Schnupp

Trda

112.74 €

La fiducía sucesoria secreta Sergio Cámara Lapuente

Mehka

90.62 €

Dr. Lampe's Bienenzucht C.O. Lampe

Mehka

31.82 €

Magie und Aberglaube bei Cervantes Janina Klinck

Mehka

37.78 €

Santa Valentina tiene un plan Regina Román Gómez

Mehka

21.11 €

Lehrbuch der Lacktechnologie Thomas Brock

Trda

194.27 €

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.