«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 for Programming, Artificial Intelligence, and Reasoning

16th International Conference, LPAR-16, Dakar, Senegal, April 25--May 1, 2010, Revised Selected Papers

Idioma InglésInglés
Libro Tapa blanda
Libro Logic for Programming, Artificial Intelligence, and Reasoning Edmund M. Clarke
Código Libristo: 01657129
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, enero 2011
This book constitutes the thoroughly refereed post-conference proceedings of the 16th International... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

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

Clientes que también han comprado

CANDYMAN - BRD ROSE Video DVD
common.buy 32.19 €
La Sainte-Chapelle Paris NE Françoise Perrot / Libro Tapa dura
common.buy 37.09 €
I Love Winter (English Hindi Bilingual Book for Kids) Kidkiddos Books / Libro Tapa blanda
common.buy 17.19 €
Hans Von Bulow Marie von Bülow / Libro Tapa blanda
common.buy 39.39 €
CORPOS. AS OUTRAS VIDAS DO CADAVER COUTO-FERREIRA / Libro Libro
common.buy 21.69 €
Rechnernetze Peter Schnupp / Libro Tapa dura
common.buy 130.19 €
Dr. Lampe's Bienenzucht C.O. Lampe / Libro Tapa blanda
common.buy 37.39 €
Lehrbuch der Lacktechnologie Thomas Brock / Libro Tapa dura
common.buy 226.09 €
Santa Valentina tiene un plan Regina Román Gómez / Libro Tapa blanda
common.buy 24.59 €
La fiducía sucesoria secreta Sergio Cámara Lapuente / Libro Tapa blanda
common.buy 96.39 €
Le Salon De Lady Betty: Moeurs Anglaises, Volume 2 Marceline Desbordes-Valmore / Libro Tapa blanda
common.buy 26.89 €
Excursions Historiques Et Philosophiques A Travers Le Moyen Age (Ed.1888) Charles Jourdain / Libro Tapa blanda
common.buy 39.39 €

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2010, which§took place in Dakar, Senegal, in April/May 2010.§The 27 revised full papers and 9 revised short papers presented together with 1 invited talk were carefully revised and selected from 47 submissions. The papers address all current issues in automated reasoning, computational logic, programming languages and deal with logic programming, logic-based program manipulation, formal methods, and various kinds of AI logics. Subjects covered range from theoretical aspects to various applications such as automata, linear arithmetic, verification, knowledge representation, proof theory, quantified constraints, as well as modal and temporal logics.

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 for Programming, Artificial Intelligence, and Reasoning
Autor Edmund M. Clarke, Andrei Voronkov
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2011
Número de páginas 517
EAN 9783642175107
ISBN 3642175104
Código Libristo 01657129
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 791
Dimensiones 155 x 235 x 29

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
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Programación informática/desarrollo de software > Compiladores e intérpretes
Computación e informática > Programación informática/desarrollo de software > Lenguajes de programación y extensión/scripting: general
Computación e informática > Programación informática/desarrollo de software > Ingeniería del software
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 > Arquitectura y diseño lógico de ordenadores
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

Dirty Little Secrets of World War II: Military Information No One Told You... James F. Dunningan / Libro Tapa blanda
common.buy 17.89 €
Logic for Applications Anil Nerode / Libro Tapa blanda
common.buy 96.09 €
Monroe Township and Jamesburg John D. Katerba / Libro Tapa blanda
common.buy 21.89 €
History of the Life of Thomas Ellwood Charles George Crump / Libro Tapa dura
common.buy 34.79 €
REPORTS OF CASES ARGUED & DETE New York (State) Supreme Court / Libro Tapa blanda
common.buy 31.79 €
Characterisation of Women in Maxim Gorky's Novel "Mother". A Marxist Feminist Perspective Javed Akhtar / Libro Tapa blanda
common.buy 17.89 €
On the Boardwalk - Hometown Gallery 1000pc: One the Boardwalk Masterpieces Inc / Libro binding.
common.buy 13.89 €
Where The States Stand On Civil Rights Richard Barnett / Libro Tapa blanda
common.buy 27.89 €
Die Jäger: Ein ländliches Sittengemälde in fünf Aufzügen August Wilhelm Iffland / Libro Tapa blanda
common.buy 12.59 €
Popular
Leviathan Thomas Hobbes / Libro Tapa blanda
common.buy 20.29 €
Ensam Jonathon Robert Bone / Libro Tapa blanda
common.buy 8.89 €
The Naval History of the United States Willis J Abbot / Libro Tapa blanda
common.buy 35.09 €
Are MicroRNAs Promising Diagnostic Markers in Cancer Eman Refaat / Libro Tapa blanda
common.buy 35.49 €
When She's Bad, I'm Badder: Jiao & Dreek, A Crazy Love Story Tina J / Libro Tapa blanda
common.buy 12.59 €
Ratatouille Brad Bird / Video DVD
common.buy 10.69 €
Super Nutrition Terry McIlroy / Libro Tapa blanda
common.buy 26.29 €
Council Government Versus Mayor Government (1900) Edward Dana Durand / Libro Tapa blanda
common.buy 16.19 €
Language Exercises (1889) Robert Comfort Metcalf / Libro Tapa blanda
common.buy 28.79 €
Popular
Don't Diet. Be Happy. Katherine McIntosh / Libro Tapa blanda
common.buy 12.69 €
Healing your wounded inner child Stella Nash / Libro Tapa blanda
common.buy 16.09 €
Algebraic Fantasies and Realistic Romances Brian Stableford / Libro Tapa blanda
common.buy 16.49 €
Form, Program, and Metaphor in the Music of Berlioz Stephen Rodgers / Libro Tapa dura
common.buy 137.89 €
Elementary Theory of L-functions and Eisenstein Series Haruzo Hida / Libro Tapa blanda
common.buy 119.49 €
Invariant Subspaces of Matrices with Applications Israel GohbergPeter LancasterLeiba Rodman / Libro Tapa blanda
common.buy 160.39 €

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?