Programação

Automated Deduction €“ Cade 29

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

 

Bertrand.pt - Automated Deduction €“ Cade 29
idioma: Inglês
Editor: Springer International Publishing AG
Edição: setembro de 2023
Portes
Grátis
10%
47,30€
Poupe 4,73€ (10%) Cartão Leitor Bertrand
RESERVAR NA LIVRARIA Livrarias

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.

Da mesma coleção

ver +
Security And Cryptography For Networks
10%
portes grátis
10% Cartão Leitor Bertrand
60,82€
Poupe 6,08€
Springer International Publishing AG
Web Information Systems Engineering €“ Wise 2025
10%
portes grátis
114,90€ 103,41€
SPRINGER VERLAG, SINGAPORE
Automated Deduction €“ Cade 29
29th International Conference On Automated Deduction, Rome, Italy, July 1–4, 2023, Proceedings
ISBN:
9783031384981
Ano de edição:
09-2023
Editor:
Springer International Publishing AG
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  >  Livros em Inglês  >  Informática  >  Programação

Livros  >  Livros em Inglês  >  Outros

EAN:
9783031384981
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.