[email protected]
LIBRISTO 0
La Poste Autrichienne 5.99 € Coursier DPD 6.49 € Service de messagerie GLS 4.49 €
phone Contact phoneComment faire ses achats

Logic for Programming, Artificial Intelligence, and Reasoning

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic for Programming, Artificial Intelligence, and Reasoning Moshe Vardi
Code Libristo: 01558600
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, septembre 2003
This book constitutes the refereed proceedings of the 10th International Conference on Logic Program... Description détaillée
? points 161 b
68.07 € včetně DPH
Stockage externe en petites quantités Expédition sous 13-16 jours
Autriche common.delivery_to

Politique de retour sous 30 jours

Ceci pourrait également vous intéresser

Poník má problémy Jeanne Betancourt / Livre relié
common.buy 6.41 €
Design of Ship Hull Structures Yasuhisa Okumoto / Livre de poche
common.buy 242.55 €
Study in Realism John Laird / Livre de poche
common.buy 58.11 €
Shakespeare's Troilus and Cressida and the Inns of Court Revels W.R. Elton / Livre relié
common.buy 209.15 €
Biological Sampling in the Deep Sea Malcolm Clark / Livre relié
common.buy 249.08 €
Cold War and Decolonisation Andrea Benvenuti / Livre de poche
common.buy 47.84 €
Die Neuerfindung der Natur Donna Haraway / Livre de poche
common.buy 32.06 €
European Retail Research Dirk Morschett / Livre de poche
common.buy 68.07 €
Allah, Tabiat ve Tarih saban Ali Düzgün / Livre de poche
common.buy 16.26 €
Body and Soul; Or Life, Mind, and Matter, Considered as to Their Peculiar Nature, and Combined Condition in Living Things George Redford / Livre relié
common.buy 39.70 €
Magic Realist Cinema in East Central Europe Aga Skrodzka / Livre relié
common.buy 151.35 €
Barfussele Berthold Auerbach / Livre relié
common.buy 26.65 €
Group 13 Chemistry I H.W. Roesky / Livre de poche
common.buy 266.63 €
Lalius Oder Von Der Freundschaft Marcus Tullius Cicero / Livre de poche
common.buy 10.60 €
Competencias para el desarrollo de las Habilidades de Pensamiento Gildardo Aguilar / Livre de poche
common.buy 61.00 €
Advances in Cryptology - EUROCRYPT 2018 Jesper Buus Nielsen / Livre de poche
common.buy 173.93 €

This book constitutes the refereed proceedings of the 10th International Conference on Logic Programming, Artificial Intelligence, and Reasoning, LPAR 2003, held in Almaty, Kazakhstan in September 2003.§§The 27 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 65 submissions. The papers address all current issues in logic programming, automated reasoning, and AI logics in particular description logics, proof theory, logic calculi, formal verification, model theory, game theory, automata, proof search, constraint systems, model checking, and proof construction.

À propos du livre

Nom complet Logic for Programming, Artificial Intelligence, and Reasoning
Auteur Moshe Vardi, Andrei Voronkov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2003
Nombre de pages 436
EAN 9783540201014
ISBN 3540201017
Code Libristo 01558600
Éditeurs Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Poids 1400
Dimensions 155 x 233 x 25

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

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