1. Home
  2. Springer Nature B.V.
  3. Não Informado
  4. Automated deduction - cade-13
imagem ilustrativa

Automated deduction - cade-13

Não Informado

Salvar edição
Ler sinopse completa
novos A partir de R$ 1.497,73 + Frete grátis
Automated Deduction - Cade-13

Automated Deduction - Cade-13

Não informado | 1996

Descrição: This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13... Veja mais

Comprar mais tarde
Ver detalhes
Falar com vendedor
R$ 1.497,73
Calcular frete ›

Veja as outras undefined ofertas de novos deste livro: