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 Programming and Automated Reasoning

4th International Conference, LPAR '93, St. Petersburg, Russia, July 13-20, 1993. Proceedings

Langue AnglaisAnglais
Livre Livre de poche
Livre Logic Programming and Automated Reasoning Andrei Voronkov
Code Libristo: 05274323
Éditeurs Springer, Berlin, novembre 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Description détaillée
? points 132 b
53.79 € TVA incluse
Stockage externe Expédition sous 5-8 jours
Autriche Livraison à Autriche

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Bientôt Nouveauté
Genitalflüssigkeiten und Geschlecht Ell Rutkat / Livre Livre de poche
common.buy 48.00 €
Klíč k Chíramovi Christopher Knight / Livre Livre relié
common.buy 13.39 €
Gay: Saliendose y viniendose Kathleen Hope / Livre numérique Adobe ePub DRM
common.buy 4.99 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Livre Livre relié
common.buy 31.99 €
El Burro y el Caballo CARMEN ALONSO BADIA / Livre Livre relié
common.buy 20.79 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Livre Livre relié
common.buy 19.99 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Livre Livre relié
common.buy 7.39 €
Mellan raderna Bengtsson / Livre audio MP3
common.buy 6.69 €
Noches de uvas que han fermentado Jaime Cesar / Livre Livre de poche
common.buy 6.99 €
Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Livre Livre de poche
common.buy 40.69 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Livre Livre de poche
common.buy 12.59 €
Espa?ol - Marathi: Escritura & Colorear Alfabeto Libros Educación Infantiles: Spanish Marathi Practicar alfabeto ABC letras con dibujos a Emilly Lima / Livre Livre de poche
common.buy 10.69 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Livre Livre de poche
common.buy 80.19 €
Traktory i kombajny Krzysztof Kozera / Livre Livre de poche
common.buy 5.09 €
Microblogging En La Educacion Lenis Querales / Livre Livre de poche
common.buy 27.19 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Livre Livre Concertina
common.buy 9.29 €
Commander (Buch III) Heino Caesar / Livre Livre de poche
common.buy 39.00 €
Prosa. Tl.1 Paul Celan / Livre Livre relié
common.buy 98.00 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Livre Livre de poche
common.buy 24.99 €

LPAR is an international conference series aimed at bringing together researchers interested in logic programming and automated reasoning. The research in logic programming grew out of the research in automated reasoning in the early1970s. Later, the implementation techniques known from logic programming were used in implementing theorem proving systems. Results from both fields applied to deductive databases. This volume contains the proceedings of LPAR '93, which was organized by the Russian Association for Logic Programming. The volume contains 35 contributed papers selected from 84 submissions, together with an invited paper by Peter Wegner entitled "Reasoning versus modeling in computer science".

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 Programming and Automated Reasoning
Auteur Andrei Voronkov
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 1993
Nombre de pages 394
EAN 9783540569442
ISBN 3540569448
Code Libristo 05274323
Éditeurs Springer, Berlin
Poids 533
Dimensions 155 x 233 x 21

Catégories

Technologie, ingénierie et agriculture, procédés industriels > Ingénierie électronique et technologie des communications > Génie électronique > Automatique > Robotique
Mathématiques et sciences > Mathématiques > Fondements des mathématiques > Logique des mathématiques
Informatique et technologies de l’information > Informatique > Informatique théorique
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

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Livre Livre relié
common.buy 139.39 €
Polishes and Stains for Woods David Denning / Livre Livre de poche
common.buy 26.99 €
Top
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Livre Livre de poche
common.buy 39.59 €
Mentoria Ann Murry / Livre Livre relié
common.buy 45.59 €
Present State of Music in France and Italy Charles Burney / Livre Livre de poche
common.buy 32.09 €
Hepatitis C Paul J. Thuluvath / Livre Livre de poche
common.buy 17.79 €
Information and Decision in Behavioral Economics Adam Biela / Livre Livre relié
common.buy 63.99 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Livre Livre de poche
common.buy 33.69 €
History of the Rise, Progress, and Accomplishment of the Abolition of the African Slave-Trade by the British Parliament Thomas Clarkson / Livre Livre de poche
common.buy 69.79 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Livre Livre de poche
common.buy 214.29 €
The Ninth Floor Liz Schulte / Livre Livre de poche
common.buy 14.49 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Livre Livre de poche
common.buy 13.49 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Livre Livre de poche
common.buy 10.69 €
99 Tricks and Traps for Oracle Primavera P6 PPM Professional Updated for Version 21 Paul E Harris / Livre Livre de poche
common.buy 49.99 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Livre Livre de poche
common.buy 20.09 €
Noise in Semiconductor Devices Fabrizio Bonani / Livre Livre relié
common.buy 160.89 €
Lost City of the Incas Hiram Bingham / Livre Livre de poche
common.buy 14.69 €
Bientôt
Antarctica David Walton / Livre Livre relié
common.buy 69.99 €
Singular Elliptic Problems Marius Ghergu / Livre Livre relié
common.buy 119.49 €
Sources in European Political History Chris Cook / Livre Livre relié
common.buy 181.49 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Livre Livre relié
common.buy 94.69 €
Russia's Unknown Agriculture Judith Pallot / Livre Livre relié
common.buy 169.19 €
Telling without Talking Barry M. Cohen / Livre Livre relié
common.buy 50.19 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Livre Livre de poche
common.buy 183.69 €

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 ?