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

14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic for Programming, Artificial Intelligence, and Reasoning Nachum Dershowitz
Code Libristo: 01569358
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2007
This book constitutes the refereed proceedings of the 14th International Conference on Logic for Pro... Description détaillée
? points 125 b
51.61 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Bientôt
TOXIQUES - Les Nouveaux Empoisonneurs BROQUERE / Livre Livre de poche
common.buy 25.04 €
Le Passage du Désir Almira / Livre Livre de poche
common.buy 11.91 €
Rodina v 21. století collegium / Livre Livre de poche
common.buy 3.93 €
La caldera de los sueños MOLINA / Livre Livre de poche
common.buy 19.59 €
Educación infantil, 3 a?os / Livre Livre de poche
common.buy 24.54 €
Řeknu o tobě hvězdám Edyta Prusinowska / Livre Livre de poche
common.buy 14.23 €
Nauka jazdy na rolkach C. Oach / Livre Livre de poche
common.buy 14.94 €
Suburban Hell Taro Kanafuro / Livre Livre de poche
common.buy 30.80 €
Paladyn z ziem dalekich 7 Okubashi Mutsumi / Livre Livre de poche
common.buy 7.06 €
Meine glitzernden Anziehpuppen-Stickerbücher mini: Im Ballett, Feen, Freundinnen und Prinzessinnen / Livre Livre de poche
common.buy 10.90 €
La graduación de la imprudencia punible (Papel + e-book) ALBERTO DAUNIS RODRIGUEZ / Livre Livre de poche
common.buy 38.37 €
Les Tribulations d'un Chinois en Chine Jules Verne / Livre Livre de poche
common.buy 12.01 €
Abordable
Schule der magischen Tiere - Auf die Plätze! Carlo Rossi / Jeu/jouet Jeu
common.buy 9.08 €
A>tze, das Tintenmonster Ursel Scheffler / Livre Livre de poche
common.buy 5.65 €
Methoden-Lexikon Fur Die Sozialwissenschaften Rainer Diaz-Bone / Livre Livre de poche
common.buy 79.99 €
Internationale Steuerarbitrage unter besonderer Berucksichtigung von Zinsabzugsbeschrankungen am Beispiel von Deutschland und USA Philipp Adam / Livre Livre de poche
common.buy 17.97 €
Heilkunst und Humor Rosina Sonnenschmidt / Livre Livre relié
common.buy 27.47 €
Top
Theodor Fontane: Effi Briest Theodor Fontane / Livre Livre relié
common.buy 5.65 €
Geschichte der Gruben im 12. bis 19. Jahrhundert Peter Haertel / Livre Livre de poche
common.buy 34.74 €
Erste Ukrainische Lesebuch fur Anfanger Olena Dniprova / Livre Livre de poche
common.buy 23.22 €
Nachsommer Adalbert Stifter / Livre Livre de poche
common.buy 39.69 €

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia. It contains 36 revised full papers, 15 short papers and three invited talks that were carefully selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI 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 Nachum Dershowitz, Andrei Voronkov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2007
Nombre de pages 564
EAN 9783540755586
ISBN 3540755586
Code Libristo 01569358
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 878
Dimensions 155 x 235 x 32

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 > 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
Informatique et technologies de l’information > Systèmes d’exploitation
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

Catalysis Michel Boudart / Livre Livre de poche
common.buy 102.82 €
Nonlinear Dynamics and Heterogeneous Interacting Agents T. Lux / Livre Livre de poche
common.buy 114.33 €
Caste. [A Novel.] by the Author of Mr. Arle [I.E. Emily Jolly]. Vol. III Anonymous / Livre Livre de poche
common.buy 28.37 €
Global Renewal Christianity Amos Yong / Livre Livre relié
common.buy 31.20 €
5 Things to Pray for Your Church Jones / Livre Livre de poche
common.buy 6.66 €
Perpetrators Victims Bystanders Raul Hilberg / Livre Livre de poche
common.buy 15.04 €
Worldwar Harry Turtledove / Livre Livre de poche
common.buy 7.67 €
Practical Treatise on the Medical & Surgical Uses of Electricity George Miller Beard / Livre Livre relié
common.buy 45.75 €
JENNY BOOTH ELIZABETH EDI PIGOT / Livre Livre relié
common.buy 31.61 €
What I Saw In California: (Edwin Bryant Classics Collection) Edwin Bryant / Livre Livre de poche
common.buy 8.58 €
The Death of the Wicked Anne Barton / Livre Livre de poche
common.buy 14.84 €
SAS Certified Professional Prep Guide Sas Institute / Livre Livre relié
common.buy 143.02 €
Just for You Francesca Pirrone / Livre Livre relié
common.buy 12.92 €
John and the Big Wish Laura Watkins / Livre Livre relié
common.buy 8.68 €
Computational Algebraic Geometry Frederic Eyssette / Livre Livre de poche
common.buy 51.61 €
Advances in X-Ray Analysis Charles S. Barrett / Livre Livre de poche
common.buy 51.61 €
English Drama Before Shakespeare Peter Happe / Livre Livre de poche
common.buy 75.14 €
Evolving Human Nutrition Stanley UlijaszekNeil MannSarah Elton / Livre Livre de poche
common.buy 58.88 €
Gender and Nation Building in the Middle East Elise G Young / Livre Livre relié
common.buy 199.18 €
Con Men, The Leo Gough / Livre Livre de poche
common.buy 26.35 €
Multiple Testing Procedures with Applications to Genomics S. Dudoit / Livre Livre relié
common.buy 200.90 €
Pascal John Tulloch / Livre Livre de poche
common.buy 11.71 €
Future of Drylands Cathy Lee / Livre Livre relié
common.buy 205.45 €

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 ?