:quality(100))
imagem ilustrativa
Automated deduction - cade-17
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2000
- ISBN: 9783540676645
- Automated deduction - cade-17
Descrição: For the past 25 years the CADE conference has been the major forum for the presentation of new results in automated... Veja mais