imagem ilustrativa
8th international conference on automated deduction
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1986
- ISBN: 9783540167808
- 8th international conference on automated deduction

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