10% de desconto

Automated Deduction €“ Cade 29

29th International Conference On Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

idioma: inglês
Editor: Springer International Publishing AG, setembro de 2023 ‧
47,30€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
This open access book constitutes the proceedings of the 29th International Conference on Automated Deduction, CADE 29, which took place in Rome, Italy, during July 2023. The 28 full papers and 5 short papers presented were carefully reviewed and selected from 77 submissions.

Automated Deduction €“ Cade 29

29th International Conference On Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings

Propriedade Descrição
ISBN: 9783031384981
Editor: Springer International Publishing AG
Data de Lançamento: setembro de 2023
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa mole
Páginas: 592
Tipo de produto: Livro
Coleção: Lecture Notes In Computer Science
Classificação Temática: Livros em Inglês > Informática > Programação
Livros em Inglês > Outros
EAN: 9783031384981