:quality(100))
imagem ilustrativa
Automated deduction - cade-18
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2002
- ISBN: 9783540439318
- Automated deduction - cade-18
Descrição: The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C-... Veja mais