:quality(100))
imagem ilustrativa
Automated reasoning
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2006
- ISBN: 9783540371878
- Automated reasoning
Descrição: Here are the proceedings of the Third International Joint Conference on Automated Reasoning, IJCAR 2006, held in Se... Veja mais