8th international conference on automated deduction

Não Informado

Salvar edição
  • Editora: Springer Nature B.V.
  • Ano: 1986
  • ISBN: 9783540167808
  • 8th international conference on automated deduction
Ler sinopse completa
8th International Conference on Automated Deduction

8th International Conference on Automated Deduction

Não informado | 1986

Descrição: 8th International Conference on Automated Deduction

Veja as outras undefined ofertas de novos deste livro: