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

Automated Deduction - CADE-20

20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE-20 Robert Nieuwenhuis
Código Libristo: 01560923
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julio 2005
This book constitutes the refereed proceedings of the 20th International Conference on Automated Ded... Descripción completa
? points 139 b
56.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

????? ???????? ? &quote;???? ??????????? ????????&quote; Erich von Neff / Libro electrónico Adobe ePub DRM
common.buy 1.09 €
Götterdämmerung. Der Ring des Nibelungen 4 Fabian Hinrichs / Audio CD de audio
common.buy 17.89 €
Pro radost. For Joy Iva Bittová / Libro binding.
common.buy 19.19 €
Peugeot 205 od 9/83 do 2/99 Hans-Rüdiger Etzold / Libro Tapa blanda
common.buy 27.89 €
Der Vernichtungskampf Wider Die Bauern In Mecklenburg (1864) Moritz Wiggers / Libro Tapa blanda
common.buy 21.99 €
Glasgow lieben lernen Sarah Glenn / Libro Tapa blanda
common.buy 9.09 €
Betriebliche Standortplanung im Rahmen von urbanen Unternehmensnetzwerken Christoph Gerdes / Libro Tapa blanda
common.buy 27.69 €
Performance-Messung und Eigentuemerorientierung Andreas Schüler / Libro Tapa blanda
common.buy 185.49 €
Die Illojiim Hartmut Großer / Libro Tapa blanda
common.buy 20.99 €
Profesión mamá / Occupation Mom Irma Gallo / Libro Tapa blanda
common.buy 18.29 €
Planungsrecht in der gerichtlichen Kontrolle. Wilfried Erbguth / Libro Tapa blanda
common.buy 100.99 €
Dyskalkulie Silvia Pixner / Libro Tapa blanda
common.buy 14.19 €
Augsburgischer Compendiöser Hand- Schreib- und Sack-Calender Andreas Brinhaußer / Libro Tapa blanda
common.buy 19.99 €
Patentierbarkeit gentechnischer Veranderungen von Organismen Manuela Markweg-Hanke / Libro Tapa blanda
common.buy 57.09 €

This book constitutes the refereed proceedings of the 20th International Conference on Automated Deduction, CADE-20, held in Tallinn, Estonia, in July 2005.§The 25 revised full papers and 5 system descriptions presented were carefully reviewed and selected from 78 submissions. All current aspects of automated deduction are addressed, ranging from theoretical and methodological issues to presentation and evaluation of theorem provers and logical reasoning systems.

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 Deduction - CADE-20
Autor Robert Nieuwenhuis
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2005
Número de páginas 466
EAN 9783540280057
ISBN 3540280057
Código Libristo 01560923
Editores Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 721
Dimensiones 155 x 235 x 26

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

School Inspection & Self-Evaluation John MacBeath / Libro Tapa dura
common.buy 215.89 €
A Monograph On The Parish Of St. Lawrence, Ipswich (1888) Benjamin Page Grimsey / Libro Tapa blanda
common.buy 21.99 €
Forgiveness and Letting Go in Emotion-Focused Therapy Catalina Woldarsky Meneses / Libro Tapa dura
common.buy 69.39 €
JOHANN CHRISTOPH ADELUNGS DEUTSCHE SPRAC JOHANN CHRI ADELUNG / Libro Tapa dura
common.buy 40.69 €
What's my name? EDDIE Tiina Walsh / Libro Tapa blanda
common.buy 15.39 €
Rudin by Ivan Turgenev, Fiction, Classics, Literary Ivan Turgenev / Libro Tapa blanda
common.buy 15.09 €
Modern Practice Of Civil Litigation In Nigeria Bl Maiyaki Theodore Bala Ph D / Libro Tapa dura
common.buy 48.49 €
New Perspectives in Service-Learning Shelley H. Billig / Libro Tapa dura
common.buy 124.49 €
Children of Lutetia. William Blanchard Jerrold / Libro Tapa blanda
common.buy 25.69 €
Notes and Reflections During a Ramble in Germany. by the Author of "Recollections in the Peninsula," Etc. [I.E. M. Sherer.] Anonymous / Libro Tapa blanda
common.buy 28.79 €
Mr. Lee's Plan, March 29, 1777 George Henry Moore / Libro Tapa blanda
common.buy 23.89 €
Let's Talk Back Barbara Simon / Libro Tapa blanda
common.buy 20.79 €
Popular
God and the Multiverse Victor Stenger / Libro Tapa dura
common.buy 22.99 €
Innovative Comparative Methods for Policy Analysis H. Grimm / Libro Tapa dura
common.buy 169.09 €
Making of the Roman Army Lawrence Keppie / Libro Tapa blanda
common.buy 63.69 €
Tao Te Ching Lao Tzu / Libro Tapa blanda
common.buy 10.39 €
Kafka's Creatures Marc Lucht / Libro Tapa blanda
common.buy 70.19 €

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?