adicionar à lista de desejos
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 ‧
ver detalhes do produto
47,30€
10% DESCONTO
CARTÃO
Vmt3M1JrSmpjbEZRTldvMlIwMHhhamR1TXpscGJEWkViMVpFVEUwM1ZpdEJhbnBPVXpaM1NrdHNaVmxyZVV4aVEzYzJiMWh6U21WRFMzRmhSakZ6V1dodlIzQTFZMFJrYzA0NVUwTnNVa1puYlZoNFJGY3ZVeTlZWjBzMFF6STVXakJKT0daek0wWkdObU5WWVV3MVZtUXlXaTkwTDBOb2FGZEhlRTFKVjNCR2FHdGhVakZYTjA4d2NXVk9USFJITUhFeVIyaDFkMFJ1YUZReVVWUXdhemRKYm00eFNtOU9WRlpHUlROQlQzUlpWeTl6ZG10YUswbDNVeXRsWW1waGQwNU9Remh6TnpGYVJrTkdPVTkzU2s0ck1HVjNWWGhKUkdoclMyOXhVVlJpWVdkV05VaDVURlo1Ym5sWU9IQktTa0ZITkhka1IzUnlMM1ZGYTJOVVRWTlpNM3BtWjBod00zQk5SblE0V1Rkc09UTmpNMnhpYVVreU5EZDVSMFZxWTFGWmQxaE5ibTVVWkd4R1FucEVTWGQwTUdFMVFUaEtiVFF2ZFhBd1RFUm9aVTFUYUROSFNUVkxPRWcxZFRCVk1qZFVNbXhSZDNsUk5YSTNVREpOYW1aM2VGZFpTVXRxYVZCR1dHMXZRVmhPZERKRk0yMDRVemh1U3l0UWNsRTRXak1yTjJwRlpqWmljV1JCWVRkQ2JIWk1LM2RTUTBJMWFERlBha3gwY0ZaMFQyUndXWEJsZWs5SWVFMTVSMlpHTlRSNlFYSllLMUJyWTFSWFRtb3hla0puTDFOeE5YbFlORXRPTkhwSVRVODJVRWQyUWtsdWMxQnhaR1Z0VDFaVWN5OXliWGhDZFRoSmRHaGhRM0pzYzNObk1VdHVRMk5CZURGV0sySjNka2x6TW1scFQzaFZkSFZvYjBKRllrRldXV0pwVEZCeGNubGlUblJ2UTNaRWRFeFhORTAxYm1KMU5uSlJZVE5xV21KRFRVWXdiVGcxY3pCVGRWb3JjRGhOTjI1YVVWcEdNbWRvUVc0dk1tSXpZazFaVlhOUFNWRlZkQ3R2Ums5blVuQjFOemxCUTNoTmJtRjNVMHhFV1ZOME5UVkVXbGg1WkdjM1lrZFlXRXh0UWpsT1dGcERlbkZTVnpWTVMzUkZaVkIxUlZnM1pUbGtZVnAwYkVORFozUkdiV3hZYzIxeFMyZzNVRzB3ZUhwbGFXNHhOMDVhU2xoVmNrbFZUSGhSWjAxalYyUXhjMWgzU25KTFJrSm5aREpuVDJ0NVpHWjZialJ0ZVM5a1dscDJXblprWld0SFNHTnlNemhvYlhoR2NrVktiVE5KTWpod2NYTkdXVmgyZDFNd01GUkNZemhwWlZoTVRUVTVXVTB5TVdKTWJWbEdjMFJHTldkdVR6VkhUbEJIY0ZKNU4wSmxOSFkyTkRrd1pETmtaa2hCVW5kQmVXeFdUVlkwTTFOQ1VRPT06bFJKMlBiM3VMVGFWNElmeWZuTnNPZz09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| 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 |
LIVROS DA MESMA COLEÇÃO
-
10%Security And Cryptography For NetworksSpringer International Publishing AG60,82€ 10% CARTÃOportes grátis
-
10%VolcanologySpringer International Publishing AG170,33€
189,25€portes grátis