«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 5.49 € Mensajería GLS 8.49 € Mensajería Correos 5.99 € Mensajería DHL 5.99 € Punto SEUR 4.49 €
phone Contacto phoneCómo comprar
Envío gratis a partir de 69,99 euros.

Automated Reasoning

5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Reasoning Jürgen Giesl
Código Libristo: 01656184
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, junio 2010
This book constitutes the refereed proceedings of the 5th International Joint Conference on Automate... Descripción completa
? points 300 b
122.69 €
Almacenamiento externo en pequeñas cantidades Envío en 9-13 días

Hasta 30 días para devoluciones

Clientes que también han comprado

INT.DINAMICA KEYNESI KURIHAR / Libro Libro
common.buy 5.59 €
Je valorise mes déchets verts au jardin Denis Pépin / Libro Tapa blanda
common.buy 20.69 €
Einführung in die Kautschuktechnologie Georg Abts / Libro Tapa dura
common.buy 72.49 €
MDF. La storia del Mostro di Firenze. Cofanetto Roberto Taddeo / Libro binding.
common.buy 58.09 €
UEber Nithards Gerold Meyer Von Knonau / Libro Tapa blanda
common.buy 17.79 €
Umanità violata. La Palestina e l'inferno della ragione Roberta De Monticelli / Libro Tapa blanda
common.buy 22.59 €
Artistas Cristina Serret / Libro electrónico Adobe ePub DRM
common.buy 9.39 €
Winterseelen Katja Fischer / Libro Tapa blanda
common.buy 13.59 €
Her Sey Allah&#305 Hekimoglu ismail / Libro Tapa blanda
common.buy 7.29 €
Emi i taemnij klub superdivchat. Gurtok ispans'koji Dzvinka Matijash / Libro Tapa blanda
common.buy 7.99 €
Popular
Nueva Gramatica de la Lengua Espanola Manual Real Academia Espanola / Libro Tapa blanda
common.buy 25.99 €
grande vuoto di un piccolo amico. Quando gli animali ci lasciano Jeffrey Moussaieff Masson / Libro Tapa dura
common.buy 28.69 €
Entwicklung von Autonomie und Paternalismus Hugo Esteva / Libro Tapa blanda
common.buy 39.39 €
L'' cole Normale Romuald Normand / Libro Tapa blanda
common.buy 96.29 €
Souvenirs de mon premier festival Biyoghe / Libro Tapa blanda
common.buy 22.49 €
String Quartets 1+2 Shostakovich Quartet / Audio CD de audio
common.buy 7.49 €
Whisky-Witze Wolfgang F. Rothe / Libro Tapa dura
common.buy 18.79 €
AULAS INCLUSIVAS Mª EUGENIA PEREZ / Libro Tapa dura
common.buy 42.99 €

This book constitutes the refereed proceedings of the 5th International Joint Conference on Automated Reasoning, IJCAR 2010, held in Edinburgh, UK, in July 2010 as part of the Federated Logic Conference, FLoC 2010.The 28 revised full research papers and 12 revised system descriptions presented together with 1 full paper and 2 abstracts of invited talks were carefully reviewed and selected from 63 full paper and 26 system description submissions. The papers address the entire spectrum of research in automated reasoning and are organized in topical sections on logical frameworks and combination of systems; description logic; higher-order logic; verification; first-order logic; non-classical logic; induction; decision procedures; arithmetic; applications; and termination.

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 Automated Reasoning
Autor Jürgen Giesl, Reiner Hähnle
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2010
Número de páginas 536
EAN 9783642142024
ISBN 3642142028
Código Libristo 01656184
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 815
Dimensiones 155 x 238 x 30

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 > Ciencias de la computación > Inteligencia artificial > Sistemas expertos/sistemas basados en el conocimiento
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 > Lenguajes de programación y extensión/scripting: general
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 > Análisis y diseño de sistemas
Computación e informática > Ciencias de la computación > Arquitectura y diseño lógico de ordenadores
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

Seismic Engineering Jacques Betbeder-Matibet / Libro Tapa dura
common.buy 486.29 €
Rock Paper Scissors Matty Dalrymple / Libro Tapa blanda
common.buy 16.99 €
Brentano and Intrinsic Value Roderick M. Chisholm / Libro Tapa blanda
common.buy 40.09 €
Bedtime Stories for Insomniacs: Surprisingly Original Sleep Tips from the Effortless Sleep Method Good Sleepers' Club Sasha Stephens / Libro Tapa blanda
common.buy 10.99 €
A Flock of Girls and Boys Nora Perry / Libro Tapa blanda
common.buy 8.59 €
The Categories (annotated) Aristotle / Libro Tapa blanda
common.buy 6.89 €
Standardising English EDITED BY LINDA PILL / Libro Tapa dura
common.buy 165.49 €
Urdu Children's Book Level 3 Reader Dinesh Verma / Libro Tapa blanda
common.buy 15.79 €
Cupping Therapy Science: A Therapeutic Traditional Regime Malik Ih / Libro Tapa blanda
common.buy 26.59 €
Blitzscaling Reid Hoffman / Libro Tapa blanda
common.buy 17.99 €
Managing the Reality of Virtual Organizations SANDHYA SHEKHAR / Libro Tapa blanda
common.buy 55.49 €
Degrees of Separation Ian Gouge / Libro Tapa blanda
common.buy 13.59 €
Science of Self-Empowerment Gregg Braden / Libro Tapa blanda
common.buy 22.59 €
Blood Apprentice Elizabeth Hunter / Libro Tapa blanda
common.buy 18.59 €
Popular
Creative Kinetics Rodney Frost / Libro Tapa blanda
common.buy 29.59 €
Sub Rosa Manuscript Barry Kelly / Libro Tapa blanda
common.buy 14.89 €
My Product Management Toolkit: Tools and Techniques to Become an Outstanding Product Manager Marc Abraham / Libro Tapa blanda
common.buy 17.19 €
Cursive For Kids: Make your kids write pretty Kids Cursive / Libro Tapa blanda
common.buy 8.09 €
Animals in the International Law of Armed Conflict Anne Peters / Libro Tapa dura
common.buy 152.99 €
Brockton James E. Benson / Libro electrónico Adobe ePub DRM
common.buy 13.69 €
Country Houses; Volume 1 Charlotte Trimmer Moore / Libro Tapa blanda
common.buy 25.59 €
Popular
Gravity Falls: Happy Summerween! / The Convenience Store . . . of Horrors! DISNEY BOOK GROUP / Libro Tapa blanda
common.buy 6.69 €
Duke's Sweetheart Richard Dowling / Libro Tapa dura
common.buy 38.69 €
Morgesons Elizabeth Stoddard / Libro Tapa blanda
common.buy 17.79 €

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?