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

Automated deduction - cade-15

Não Informado

Salvar edição
Ler sinopse completa
novos A partir de R$ 1.071,62 + Frete grátis
Automated Deduction - CADE-15

Automated Deduction - CADE-15

Não informado | 1998

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

Comprar mais tarde
Ver detalhes
Falar com vendedor
R$ 1.071,61
Calcular frete ›

Veja as outras undefined ofertas de novos deste livro: