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

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic for Programming, Artificial Intelligence, and Reasoning Matthias Baaz
Code Libristo: 01555913
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, octobre 2002
This book constitutes the refereed proceedings of the 9th International Conference on Logic for Prog... Description détaillée
? points 141 b
58.57 €
Stockage externe en petites quantités Expédition sous 11-15 jours

Politique de retour sous 30 jours

Les clients ont également acheté

Leto tvojej nehy Juraj Kalnický / Livre Livre relié
common.buy 3.33 €
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Livre Livre relié
common.buy 14.48 €
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Livre Livre
common.buy 17.12 €
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Livre Livre de poche
common.buy 9.72 €
CONTRE-NOIR MATTHIEU PECK / Livre Livre de poche
common.buy 25.33 €
Mezi vilami Justin Quinn / Livre Livre relié
common.buy 10.73 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Livre Livre de poche
common.buy 11.24 €
Promenades A Chamouni Lutz-M / Livre Livre de poche
common.buy 14.58 €
Karma Tolstói / Livre Livre de poche
common.buy 12.25 €
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Livre Livre de poche
common.buy 33.23 €

This book constitutes the refereed proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2002, held in Tbilisi, Georgia in October 2002.The 30 revised full papers presented were carefully reviewed and selected from 68 submissions. Among the topics covered are constraint programming, formal software enginering, formal verification, resolution, unification, proof planning, agent splitting, binary decision diagrams, binding, linear logic, Isabelle theorem prover, guided reduction, etc.

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 Matthias Baaz, Andrei Voronkov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2002
Nombre de pages 470
EAN 9783540000105
ISBN 3540000100
Code Libristo 01555913
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1490
Dimensions 155 x 235 x 27

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

Non Coding RNAs in Plants Volker A. Erdmann / Livre Livre de poche
common.buy 227.00 €
Army of Shadows Joseph Kessel / Livre Livre de poche
common.buy 17.32 €
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Livre Livre relié
common.buy 139.85 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Livre Livre relié
common.buy 50.66 €
Bientôt
Skills-Based Health Education Mary Connolly / Livre Livre de poche
common.buy 150.18 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Livre Livre de poche
common.buy 15.80 €
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Livre Livre de poche
common.buy 28.47 €
Family Tree Albany De Fonblanque / Livre Livre relié
common.buy 34.55 €
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Livre Livre de poche
common.buy 56.95 €
Life Less Throwaway Tara Button / Livre Livre de poche
common.buy 16.31 €
NETWORKING 2012 Workshops Zdenek Becvar / Livre Livre de poche
common.buy 58.57 €
Ice Kevin Tinto / Livre Livre de poche
common.buy 16.21 €
Chemistry: Theory and Practice BRUCE HORAK / Livre Livre relié
common.buy 129.61 €
Nursing Care and ECMO Chirine Mossadegh / Livre Livre de poche
common.buy 41.85 €
Hymns for Brass: Conductor Hal Leonard Corp / Livre Livre de poche
common.buy 13.57 €
Write Now Inga Dubay / Livre Livre de poche
common.buy 13.57 €
New Spring: Prequel to the Wheel of Time Robert Jordan / Livre Livre de poche
common.buy 8.40 €
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Livre Livre de poche
common.buy 64.55 €
Through Deserts And Oases Of Central Asia Ella Sykes / Livre Livre relié
common.buy 45.90 €
Bientôt
National Geographic Traveler Japan 7th Edition E07 / Livre Livre de poche
common.buy 24.41 €
Broken Boundaries Katherine M. Quinsey / Livre Livre de poche
common.buy 34.14 €
Seed-borne plant virus diseases K. Subramanya Sastry / Livre Livre relié
common.buy 175.93 €
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Livre Livre de poche
common.buy 53.60 €
Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE Bran Selic / Livre Livre de poche
common.buy 68.20 €

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 ?