imagem ilustrativa
Automated deduction in geometry
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 1998
- ISBN: 9783540642978
- Automated deduction in geometry

Descrição: This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop o... Veja mais