Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 5.99 € Point Bpost 7.99 € Bpost 7.49 € Point DPD 3.49 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Logic for Programming, Artificial Intelligence, and Reasoning

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

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Code Libristo: 01657129
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, janvier 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Description détaillée
? points 125 b
51.75 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

La Sainte-Chapelle Paris NE Françoise Perrot / Livre Livre relié
common.buy 36.65 €
Maximilian Richter: Die Bibel in Hausandachten. Band 1 Maximilian Richter / Livre Livre relié
common.buy 173.89 €
Guia Completa Para Tu Volpino Italiano Acosta Julia Acosta / Livre Livre de poche
common.buy 15.39 €
Hans Von Bulow Marie von Bülow / Livre Livre de poche
common.buy 35.74 €
CANDYMAN - BRD ROSE Video DVD
common.buy 31.79 €
Handboek Praktijkvoering: Bouwstenen Voor de Huisartsgeneeskunde Fred Dijkers / Livre Livre relié
common.buy 86.99 €
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Livre Livre de poche
common.buy 16.60 €
DIME QUE ME QUIERES AUNQUE SEA MENTIRA ROIG / Livre Livre
common.buy 26.42 €
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Livre Livre
common.buy 19.33 €
Nederlandsk Flemming André Philip Ravn / Livre Livre de poche
common.buy 33.92 €
Dr. Lampe's Bienenzucht C.O. Lampe / Livre Livre de poche
common.buy 33.92 €
Rechnernetze Peter Schnupp / Livre Livre relié
common.buy 119.30 €
Magie und Aberglaube bei Cervantes Janina Klinck / Livre Livre de poche
common.buy 40.20 €
Das Stadtlogo als Stadtmarketing-Instrument Daniel Gromotka / Livre Livre de poche
common.buy 50.02 €
Lehrbuch der Lacktechnologie Thomas Brock / Livre Livre relié
common.buy 206.20 €
Santa Valentina tiene un plan Regina Román Gómez / Livre Livre de poche
common.buy 22.37 €
La fiducía sucesoria secreta Sergio Cámara Lapuente / Livre Livre de poche
common.buy 90.74 €
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Livre Livre de poche
common.buy 26.02 €
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Livre Livre de poche
common.buy 37.57 €

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 & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Logic for Programming, Artificial Intelligence, and Reasoning
Auteur Edmund M. Clarke, Andrei Voronkov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2011
Nombre de pages 517
EAN 9783642175107
ISBN 3642175104
Code Libristo 01657129
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 791
Dimensions 155 x 235 x 29

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Compilateurs et interpréteurs
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Programmation et langage de script : généralités
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Informatique et technologies de l’information > Informatique > Architecture informatique et conception logique
Informatique et technologies de l’information > Informatique > Intelligence artificielle
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Livre Livre de poche
common.buy 12.14 €
Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Livre Livre de poche
common.buy 17.21 €
Monroe Township and Jamesburg John D. Katerba / Livre Livre de poche
common.buy 20.85 €
History of the Life of Thomas Ellwood Charles George Crump / Livre Livre relié
common.buy 33.62 €
America's Founding and the Struggle over Economic Inequality Clement Fatovic / Livre Livre relié
common.buy 53.06 €
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Livre Livre de poche
common.buy 16.20 €
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Livre binding.
common.buy 13.26 €
Where The States Stand On Civil Rights Richard Barnett / Livre Livre de poche
common.buy 26.93 €
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Livre Livre de poche
common.buy 12.14 €
Leviathan Thomas Hobbes / Livre Livre de poche
common.buy 19.54 €
Ensam Jonathon Robert Bone / Livre Livre de poche
common.buy 8.60 €
The Naval History of the United States Willis J Abbot / Livre Livre de poche
common.buy 33.72 €
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Livre Livre de poche
common.buy 32.10 €
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Livre Livre de poche
common.buy 30.78 €
Perfect Contractor in Russian Hill Rosanna Brand / Livre Livre relié
common.buy 33.21 €
Super Nutrition Terry McIlroy / Livre Livre de poche
common.buy 25.21 €
Young Adventure Stephen Vincent Benet / Livre Livre de poche
common.buy 13.56 €
Adult Coloring Book: Christmas Coloring Pages with Animal, Creative Art Activities for Children, kids and Adults J. K. Mimo / Livre Livre de poche
common.buy 7.69 €
Council Government Versus Mayor Government (1900) Edward Dana Durand / Livre Livre de poche
common.buy 20.35 €
Language Exercises (1889) Robert Comfort Metcalf / Livre Livre de poche
common.buy 27.84 €
CBD Oil for Health James Coley / Livre Livre relié
common.buy 20.35 €
Top
Don't Diet. Be Happy. Katherine McIntosh / Livre Livre de poche
common.buy 12.04 €
Good Soldier Ford Madox Ford / Livre numérique Adobe ePub DRM
common.buy 4.95 €
Healing your wounded inner child Stella Nash / Livre Livre de poche
common.buy 15.59 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?