Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

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: 51.73 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

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01657129

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, januari 2011

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Volledige beschrijving

Libristo-code: 01657129

125 b

51.73 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

38.17 €

CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA

Boek

21.56 €

Hans Von Bulow Marie von Bülow

Gebonden (paperback)

35.74 €

La Sainte-Chapelle Paris NE Françoise Perrot

Gebonden (harde band)

36.85 €

CANDYMAN - BRD ROSE Video

Dvd

31.99 €

Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers

Gebonden (harde band)

86.47 €

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

Gebonden (paperback)

16.60 €

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

Gebonden (paperback)

26.01 €

Rechnernetze Peter Schnupp

Gebonden (harde band)

119.28 €

La fiducía sucesoria secreta Sergio Cámara Lapuente

Gebonden (paperback)

100.54 €

Dr. Lampe's Bienenzucht C.O. Lampe

Gebonden (paperback)

33.91 €

Magie und Aberglaube bei Cervantes Janina Klinck

Gebonden (paperback)

40.19 €

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

Gebonden (paperback)

22.37 €

Lehrbuch der Lacktechnologie Thomas Brock

Gebonden (harde band)

206.16 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic for Programming, Artificial Intelligence, and Reasoning

Auteur Edmund M. Clarke, Andrei Voronkov

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2011

Aantal pagina's 517

EAN 9783642175107

ISBN 3642175104

Libristo-code 01657129

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 791

Afmetingen 155 x 235 x 29

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Algoritmes en datastructuren

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger