:quality(100))
imagem ilustrativa
Automated deduction - cade-14
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1997
- ISBN: 9783540631040
- Automated deduction - cade-14
Descrição: This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction... Veja mais