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
La Poste Autrichienne 5.49 € Coursier DPD 3.99 € Point DPD 2.99 € Service de messagerie GLS 4.99 €
phone Contact phoneComment faire ses achats

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 129 b
52.69 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Die Silbermeer-Saga (Band 2) - Die Fließende Karte Katharina Hartwell / Livre Livre relié
common.buy 21.95 €
Etudes de la Nature. Tome 3 Henri Bernardin De Saint-Pierre / Livre Livre de poche
common.buy 33.19 €
Knooking – pletení na háčku. Základní postupy krok za krokem Veronika Hugová / Livre Livre de poche
common.buy 9.59 €
LES COQUILLAGES ET CE QU'ILS CACHENT Helen SCALES / Livre Livre
common.buy 17.59 €
Leto tvojej nehy Juraj Kalnický / Livre Livre relié
common.buy 3.49 €
Egal was sich auch ändert, das Herz bleibt genau dasselbe Berman Vered / Livre Livre relié
common.buy 16.00 €
CONTRE-NOIR MATTHIEU PECK / Livre Livre de poche
common.buy 25.99 €
Gold & Rainbows-The Warner Bros Years 1969-1978 Seals and Crofts / Audio CD Audio
common.buy 57.99 €
Mezi vilami Justin Quinn / Livre Livre relié
common.buy 11.19 €
Bachiben Ane Babubhai Amricama: Gujarati Hasya Navalakathaa Kirit Bhakta / Livre Livre de poche
common.buy 11.59 €
Karma Tolstói / Livre Livre de poche
common.buy 12.49 €
Promenades A Chamouni Lutz-M / Livre Livre de poche
common.buy 15.09 €

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 pour
Lire la vidéo
Ewa Kasp
Libristo propose le plus grand choix de littérature étrangère. C’est pour cela que c’est ici que j’achète mes 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 214.29 €
Ice Kevin Tinto / Livre Livre de poche
common.buy 16.79 €
Legacies of Great Men in World Soccer Kausik Bandyopadhyay / Livre Livre relié
common.buy 144.89 €
Papers by Command, Volume 88 Great Britain Parliament House of Comm / Livre Livre relié
common.buy 52.39 €
Bientôt
Skills-Based Health Education Mary Connolly / Livre Livre de poche
common.buy 155.79 €
Ordnance Survey Memoirs of Ireland: Vol. 11: Parishes of Co. Londonderry III: 1831-5 Angelique Day / Livre Livre de poche
common.buy 16.49 €
Learn Java for Android Development: Java 8 and Android 5 Edition Jeff Friesen / Livre Livre de poche
common.buy 29.39 €
Family Tree Albany De Fonblanque / Livre Livre relié
common.buy 35.79 €
Frankia in Heavy Metals and Aromatic Compounds Bio-remediation Medhat Rehan / Livre Livre de poche
common.buy 52.19 €
Life Less Throwaway Tara Button / Livre Livre de poche
common.buy 16.99 €
Army of Shadows Joseph Kessel / Livre Livre de poche
common.buy 18.09 €
NETWORKING 2012 Workshops Zdenek Becvar / Livre Livre de poche
common.buy 53.79 €
H.I.T: Husband In Training: A Guide For Men Will Ag Martel / Livre Livre de poche
common.buy 6.49 €
Chemistry: Theory and Practice BRUCE HORAK / Livre Livre relié
common.buy 134.79 €
Nursing Care and ECMO Chirine Mossadegh / Livre Livre de poche
common.buy 40.19 €
Hymns for Brass: Conductor Hal Leonard Corp / Livre Livre de poche
common.buy 14.29 €
Write Now Inga Dubay / Livre Livre de poche
common.buy 14.29 €
Top
New Spring: Prequel to the Wheel of Time Robert Jordan / Livre Livre de poche
common.buy 8.89 €
Expanding World Ayahuasca Diaspora Beatriz Caiuby Labate / Livre Livre de poche
common.buy 69.79 €
Through Deserts And Oases Of Central Asia Ella Sykes / Livre Livre relié
common.buy 47.49 €
Bientôt
National Geographic Traveler Japan 7th Edition E07 / Livre Livre de poche
common.buy 25.69 €
Speaking of Horror Darrell Schweitzer / Livre Livre de poche
common.buy 16.19 €
Seed-borne plant virus diseases K. Subramanya Sastry / Livre Livre relié
common.buy 160.89 €
Building Structures Illustrated - Patterns, Systems, and Design, Second Edition Francis D K Ching / Livre Livre de poche
common.buy 55.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 ?