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

25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Deduction - CADE-25 Amy P. Felty
Código Libristo: 09366255
Editores Springer International Publishing AG, julio 2015
This book constitutes the proceedings of the 25th International Conference on Automated Deduction, C... 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

D. Justus Ludwig Jacobi und die Vermittlunmgstheologie seiner Zeit JUSTUS JACOBI / Libro Tapa blanda
common.buy 18.79 €
Wild Parkour Serge Petrov / Libro Tapa blanda
common.buy 11.99 €
Trolls. ?abraza, Baila Y Canta! / Dance! Hug! Sing! (Dreamworks) Rachel Chlebowski / Libro Tapa blanda
common.buy 7.89 €
Weniger Fehler in der Klassenarbeit. Mathematik Gleichungen 7-9 Gotthard Jost / Libro Tapa blanda
common.buy 11.99 €
RHAPSODY TROMPETTE FISHER TULL Artículos impresos Partituras
common.buy 26.09 €
Ensayos Escogidos Juan Goytisolo / Libro Tapa blanda
common.buy 29.29 €
Geometrie – úhel / Libro Hoja
common.buy 1.39 €
Dévoilement du Complot Serge Monast / Libro Tapa blanda
common.buy 18.19 €
La Selva = The Jungle Clive Cussler / Libro Tapa blanda
common.buy 11.39 €
Dankbarkeit macht glücklich Ursula Richard / Libro Tapa blanda
common.buy 9.89 €
Mania czy Ania. Książka + audiobook wer. limitowana Erich Kastner / Libro Tapa dura
common.buy 12.69 €
Ducasse Desserts Alain Ducasse / Libro Tapa dura
common.buy 26.29 €
Christliches Familienstellen Paul Imhof / Libro Tapa blanda
common.buy 27.69 €
Doerchlauchting Fritz Reuter / Libro Tapa blanda
common.buy 14.89 €

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015.§§The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.§

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-25
Autor Amy P. Felty, Aart Middeldorp
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2015
Número de páginas 640
EAN 9783319214009
ISBN 3319214004
Código Libristo 09366255
Editores Springer International Publishing AG
Peso 9942
Dimensiones 155 x 235 x 33

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 > Computación y TI: guías para usuarios y consumidores > Guías en Internet y servicios en línea > Búsqueda en Internet
Computación e informática > Ciencias de la computación > Inteligencia artificial > Reconocimiento de formas
Computación e informática > Ciencias de la computación > Inteligencia artificial > Visión por ordenador
Computación e informática > Ciencias de la computación > Interacción persona-ordenador > Diseño de interfaces de usuario y usabilidad
Computación e informática > Programación informática/desarrollo de software > Algoritmos y estructuras de datos
Computación e informática > Bases de datos > Recuperación de información
Computación e informática > Ciencias de la computación > Procesamiento de imágenes
Computación e informática > Aplicaciones gráficas y multimedia
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

Little Jay Goes Fishing Fay Macaron / Libro Tapa blanda
common.buy 14.89 €
China Sea Directory. [with] ADMIRALTY HYDROGR. D / Libro Tapa dura
common.buy 45.69 €
Sermons for the Use of Families. by William Enfield William Enfield / Libro Tapa dura
common.buy 34.79 €
Dollys and Friends Originals 1930s Paper Dolls: Glamorous Thirties Vintage Fashion Paper Doll Collection Basak Tinli / Libro Tapa blanda
common.buy 17.19 €
Yekola Lingala (Learn Lingala) Dwayne Wong (Omowale) / Libro Tapa blanda
common.buy 15.39 €
Medical Assistants Are Fabulous And Magical Like Unicorns Only Better: 120 Pages I 6x9 I Graph Paper 4x4 I Funny Nurse, Doctor & Hospital Gifts I Unic Funny Notebooks / Libro Tapa blanda
common.buy 8.89 €
New Edition Basic Survival Student Book Peter Viney / Libro Tapa blanda
common.buy 24.29 €
Battles with the Sea Robert Michael Ballantyne / Libro Tapa blanda
common.buy 19.99 €
How To Overcome Anxiety & Effectively Communicate In Relationships (4 in 1) Faye Palmer / Libro Tapa blanda
common.buy 20.49 €
One Night Out Stealing Alan Duff / Libro electrónico Adobe ePub DRM
common.buy 11.09 €
Out to Old Aunt Mary's Howard Chandler Christy / Libro Tapa dura
common.buy 30.79 €
Opcit at Large John Barr / Libro Tapa blanda
common.buy 15.29 €
History of Illinois: From Its Commencement as a State in 1814 to 1847: Containing a Full Account of the Black Hawk War, the Rise, Progress, Ford Thomas Ford / Libro Tapa blanda
common.buy 26.99 €
The Resilient Culture Silke Rupprecht / Libro Tapa blanda
common.buy 26.59 €
Dio C'e Romeo Mannarino / Libro Tapa dura
common.buy 27.89 €
Bread of Heaven Athena M Hodges / Libro Tapa blanda
common.buy 16.49 €
Michael Aaron Piano Course Lessons Michael Aaron / Libro Tapa blanda
common.buy 10.69 €
Campside Guide to Dutch Oven Cooking Paul Kautz / Libro Tapa blanda
common.buy 17.29 €
Shamrock Dolmes, The Famous Horse Detective Joanne Austin / Libro Tapa blanda
common.buy 12.19 €
Próximamente
Adventure Time - A Totally Math Poster Collection Pendleton Ward / Libro Tapa blanda
common.buy 17.29 €
Traditional Livestock Production Carlos Palacios Riocerzo / Libro Tapa dura
common.buy 191.59 €
Popular
Like a Power Play / Libro Tapa blanda
common.buy 20.09 €

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?