Automated Deduction – CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings: 12699 (Lecture Notes in Artificial Intelligence) - Tapa blanda
Sinopsis
This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.
The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions.
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Automated Deduction – CADE 28: 28th International...
Imagen de archivo
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Librería: Best Price, Torrance, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. SUPER FAST SHIPPING. Nº de ref. del artículo: 9783030798758
Comprar nuevo
EUR 44,60
Gastos de envío:
EUR 7,77
A Estados Unidos de America
Cantidad disponible: 4 disponibles
Imagen del vendedor
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 43216696-n
Comprar nuevo
EUR 50,24
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: ABLIING23Mar3113020030301
Comprar nuevo
EUR 49,11
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43216696
Comprar usado
EUR 51,62
Gastos de envío:
EUR 2,28
A Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Deduction - CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. In. Nº de ref. del artículo: ria9783030798758_new
Comprar nuevo
EUR 45,93
Gastos de envío:
EUR 13,65
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Deduction - CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12-15, 2021, Proceedings
Librería: Chiron Media, Wallingford, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
PF. Condición: New. Nº de ref. del artículo: 6666-IUK-9783030798758
Comprar nuevo
EUR 44,15
Gastos de envío:
EUR 17,65
De Reino Unido a Estados Unidos de America
Cantidad disponible: 10 disponibles
Imagen del vendedor
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: New. Nº de ref. del artículo: 43216696-n
Comprar nuevo
EUR 45,92
Gastos de envío:
EUR 17,10
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen del vendedor
Automated Deduction ¿ CADE 28
Publicado por
Springer International Publishing Jul 2021, 2021
ISBN 10: 3030798755
ISBN 13: 9783030798758
Nuevo
Taschenbuch
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Calificación del vendedor: 5 de 5 estrellas
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This open access book constitutes the proceeding of the 28th International Conference on Automated Deduction, CADE 28, held virtually in July 2021.The 29 full papers and 7 system descriptions presented together with 2 invited papers were carefully reviewed and selected from 76 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations, and practical experience. The papers are organized in the following topics: Logical foundations; theory and principles; implementation and application; ATP and AI; and system descriptions. 664 pp. Englisch. Nº de ref. del artículo: 9783030798758
Comprar nuevo
EUR 42,79
Gastos de envío:
EUR 23,00
De Alemania a Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen del vendedor
Automated Deduction ? Cade 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Condición: As New. Unread book in perfect condition. Nº de ref. del artículo: 43216696
Comprar usado
EUR 51,81
Gastos de envío:
EUR 17,10
De Reino Unido a Estados Unidos de America
Cantidad disponible: Más de 20 disponibles
Imagen de archivo
Automated Deduction ? CADE 28: 28th International Conference on Automated Deduction, Virtual Event, July 12?15, 2021, Proceedings (Lecture Notes in Artificial Intelligence)
Librería: Books Puddle, New York, NY, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Condición: New. 1st ed. 2021 edition NO-PA16APR2015-KAP. Nº de ref. del artículo: 26388168003
Comprar nuevo
EUR 68,88
Gastos de envío:
EUR 3,45
A Estados Unidos de America
Cantidad disponible: 4 disponibles