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

Idioma InglésInglés
Libro Tapa blanda
Libro Automated Reasoning Viorica Sofronie-Stokkermans
Código Libristo: 32946509
Editores Springer Nature Switzerland AG, junio 2020
This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th Internatio... Descripción completa
? points 205 b
83.59 €
Almacenamiento externo Envío en 5-8 días

Hasta 30 días para devoluciones

Clientes que también han comprado

Wasserverschmutzung Mahmood Yekeh Yazdandoost / Libro Tapa blanda
common.buy 39.39 €
La table du 11, Jean-Baptiste Lavergne Morazzani Ferret / Libro Tapa dura
common.buy 36.89 €
Můj diář Veronika Šporclová / Libro Tapa blanda
common.buy 7.39 €
Etudes Sur L'Allemagne: Renfermant Une Histoire de La Peinture Allemande ... Alfred Michiels / Libro Tapa blanda
common.buy 28.79 €
Recuerdos De La Villa De Laredo Antonio Bravo y. Tudela / Libro Tapa blanda
common.buy 25.89 €
Das kleine Nähcafé am Fluss - Nähideen für gemütliche Stunden Sabine Schmidt / Libro Tapa dura
common.buy 24.39 €
Der Gegenwartswert der geschichtlichen Erforschung der mittelalterlichen Philosophie Martin Grabmann / Libro Tapa blanda
common.buy 14.69 €
Dis-Moi, Lily Marl ne MICHEL NORMANDEAU / Libro Tapa blanda
common.buy 24.89 €
Agustina de Aragón : la mujer y el mito María del Pilar Queralt del Hierro / Libro Tapa blanda
common.buy 32.79 €

This two-volume set LNAI 12166 and 12167 constitutes the refereed proceedings of the 10th International Joint Conference on Automated Reasoning, IJCAR 2020, held in Paris, France, in July 2020.* In 2020, IJCAR was a merger of the following leading events, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems), ITP (International Conference on Interactive Theorem Proving), and TABLEAUX (International Conference on Analytic Tableaux and Related Methods).

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 Viorica Sofronie-Stokkermans
Idioma Inglés
Encuadernación Libro - Tapa blanda
Fecha de publicación 2020
Número de páginas 511
EAN 9783030510534
ISBN 3030510530
Código Libristo 32946509
Editores Springer Nature Switzerland AG
Peso 807
Dimensiones 155 x 235 x 29

Categorías

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
Computación e informática > Programación informática/desarrollo de software
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

Intelligent Optimal Control for Distributed Industrial Systems Shaoyuan Li / Libro Tapa blanda
common.buy 62.99 €
Popular Nuevo
Toxy Noxy Foresty Forest, Vol. 1 Amanda Haley / Libro Tapa blanda
common.buy 12.69 €
Nuevo
Rough Guides City Stories: New York Seasons E01 / Libro Tapa dura
common.buy 11.69 €
Próximamente
Graphene Quantum Dot-based Polymer Nanocomposites Srikanta Moharana / Libro Tapa blanda
common.buy 323.69 €
A Natural History of Natural Theology Johan De Smedt / Libro Tapa blanda
common.buy 49.29 €
Pip and Posy: The Birthday Party Reid / Libro Libro de concertinas
common.buy 8.29 €
Clytemnestra's Bind Susan C Wilson / Libro Tapa blanda
common.buy 11.59 €
Law, Practice and Politics of Forensic DNA Profiling Victor Toom / Libro Tapa blanda
common.buy 60.49 €
Criminal Investigation Laboratory Manual Ronald Becker / Libro Tapa blanda
common.buy 49.79 €
Law Recorder George Wright / Libro Tapa blanda
common.buy 24.89 €
The Literary Remains of the Late Henry James Henry James / Libro Tapa blanda
common.buy 31.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?