«Comprobar estado del pedido»
LIBRISTO
LIBROAMANTO
obligatorio
Contraseña olvidada
Entre a formar parte de una comunidad de amantes de los libros del mundo entero y acceda a un sinfín de ventajas. Crear una cuenta gratis
0
Envío gratuito con Zásilkovna para compras superiores a 59.99 €
Mensajería SEUR 4.99 € Mensajería GLS 7.99 € Mensajería Correos 5.49 € Mensajería DHL 5.49 € Punto SEUR 3.99 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Logic Programming and Automated Reasoning

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

Idioma InglésInglés
Libro Tapa blanda
Libro Logic Programming and Automated Reasoning Andrei Voronkov
Código Libristo: 05274323
Editores Springer, Berlin, noviembre 1992
LPAR is an international conference series aimed at bringing together researchers interested in logi... Descripción completa
? points 148 b
60.39 €
Almacenamiento externo en pequeñas cantidades Envío en 13-18 días

Política de devolución de 30 días

Clientes que también han comprado

Mortalidad Por Suicidio En La Región de Las Américas: Informe Regional 2010-2014 Pan American Health Organization / Libro Tapa blanda
common.buy 42.39 €
Commander (Buch III) Heino Caesar / Libro Tapa blanda
common.buy 53.59 €
Microblogging En La Educacion Lenis Querales / Libro Tapa blanda
common.buy 31.79 €
Prosa. Tl.1 Paul Celan / Libro Tapa dura
common.buy 98.79 €
Sedmý závoj - Listy z jednoho století František R. Kraus / Libro Tapa dura
common.buy 7.99 €
Kondolenzbuch Premium "Wir nehmen Abschied" Anna Piok / Libro Tapa dura
common.buy 19.89 €
Gay: Saliendose y viniendose Kathleen Hope / Libro electrónico Adobe ePub DRM
common.buy 4.99 €
Les Arcana Arcanorum et les rites maçonniques égyptiens de Memphis et Misraïm Karol / Libro Tapa dura
common.buy 31.19 €
Noches de uvas que han fermentado Jaime Cesar / Libro Tapa blanda
common.buy 6.99 €
Svenska-Ungerska Verktyg/Szerszámok Barns tv?spr?kiga bildordbok Suzanne Carlson / Libro Tapa blanda
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 / Libro Tapa blanda
common.buy 10.69 €
Elmar und seine Freunde, Deutsch-Englisch. Elmer's Friends David McKee / Libro Libro de concertinas
common.buy 9.49 €
Gedichtinterpretationen gestalten lernen - mit Naturlyrik Johannes G Klinkmuller / Libro Tapa blanda
common.buy 24.79 €
Traktory i kombajny Krzysztof Kozera / Libro Tapa blanda
common.buy 5.19 €
Schweizer Jahrbuch fuer Musikwissenschaft- Annales Suisses de Musicologie- Annuario Svizzero di Musicologia Joseph Willimann / Libro Tapa blanda
common.buy 69.59 €

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".

Actriz & Políglota
EWA KASP para
Visualizar el vídeo
Ewa Kasp
Libristo tiene la oferta más extensa de literatura en idiomas extranjeros. Por eso compran aquí sus libros.

Sobre el libro

Nombre y apellidos Logic Programming and Automated Reasoning
Autor Andrei Voronkov
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 1993
Número de páginas 394
EAN 9783540569442
ISBN 3540569448
Código Libristo 05274323
Editores Springer, Berlin
Peso 533
Dimensiones 155 x 233 x 21

Categorías

Tecnología, ingeniería, agricultura, procedimientos industriales > Ingeniería electrónica y de las comunicaciones > Ingeniería electrónica > Ingeniería de control automático > Robótica
Matemáticas y ciencias > Matemáticas > Fundamentos matemáticos > Lógica matemática
Computación e informática > Ciencias de la computación > Teoría matemática de la computación
Computación e informática > Ciencias de la computación > Inteligencia artificial
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatario

También puede interesarle

Short-cut Demand Elasticities and Other Convenient Approaches to Consumer Demand Kenneth W. Clements / Libro Tapa dura
common.buy 155.59 €
Polishes and Stains for Woods David Denning / Libro Tapa blanda
common.buy 27.59 €
Buddy Holly: "Chirping" Crickets / 180G Buddy Holly / Audio Vinilo de audio
common.buy 14.99 €
Cambridge International AS Level History Modern Europe 1774-1924 Coursebook with Digital Access (2 Years) Patrick Walsh-Atkins / Libro Tapa blanda
common.buy 40.59 €
The Essential Guide to the Loch Ness Monster & Other Aquatic Cryptids Ken Gerhard / Libro Tapa blanda
common.buy 20.09 €
Bones being Further Adventures in Mr. Commissioner Sanders' Country Edagar Wallace / Libro Tapa blanda
common.buy 10.69 €
Liverpool Travel Guide: Sightseeing, Hotel, Restaurant & Shopping Highlights Angela Woodward / Libro Tapa blanda
common.buy 13.49 €
The Ninth Floor Liz Schulte / Libro Tapa blanda
common.buy 14.49 €
Recent Advances in Computer Science and Information Engineering Lei Cao / Libro Tapa blanda
common.buy 240.89 €
Going the Distance: Dissident Subjectivity in Modernist American Literature David R. Jarraway / Libro Tapa blanda
common.buy 33.69 €
Information and Decision in Behavioral Economics Adam Biela / Libro Tapa dura
common.buy 65.29 €
Present State of Music in France and Italy Charles Burney / Libro Tapa blanda
common.buy 32.79 €
Mentoria Ann Murry / Libro Tapa dura
common.buy 45.59 €
Russia's Unknown Agriculture Judith Pallot / Libro Tapa dura
common.buy 163.59 €
Lost City of the Incas Hiram Bingham / Libro Tapa blanda
common.buy 15.09 €
Próximamente
Antarctica David Walton / Libro Tapa dura
common.buy 71.79 €
Singular Elliptic Problems Marius Ghergu / Libro Tapa dura
common.buy 121.49 €
Sources in European Political History Chris Cook / Libro Tapa dura
common.buy 181.49 €
Surgical Management of Nasal Obstruction: Rhinologic Perspective, An Issue of Otolaryngologic Clinics Samuel S. Becker / Libro Tapa dura
common.buy 96.49 €
Próximamente
Telling without Talking Barry M. Cohen / Libro Tapa dura
common.buy 48.79 €
Elliptic Curves. (MN-40), Volume 40 Anthony W. Knapp / Libro Tapa blanda
common.buy 172.49 €
Noise in Semiconductor Devices Fabrizio Bonani / Libro Tapa dura
common.buy 181.49 €

Inicio de sesión

Inicie sesión en su cuenta. ¿No tiene una cuenta Libristo? ¡Cree una ahora!

 
obligatorio
obligatorio
Contraseña olvidada

¿No tiene cuenta? Descubra las ventajas de tener una cuenta Libristo.

Si tiene una cuenta Libristo, lo tendrá todo bajo control.

Crear una cuenta Libristo
Asesor de libros Libroamiko
Hola, soy Libroamiko, ¿puedo ayudarte?