:quality(100))
imagem ilustrativa
Automated reasoning
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2008
- ISBN: 9783540710691
- Automated reasoning
Descrição: ThisvolumecontainsthepaperspresentedatIJCAR2008,the4thInternational Joint Conference on Automated Reasoning, held A... Veja mais