:quality(100))
imagem ilustrativa
Automated reasoning with analytic tableaux and related meth
Não Informado
Salvar edição
Compartilhar
- Editora: Springer Nature B.V.
- Ano: 2002
- ISBN: 9783540439295
- Automated reasoning with analytic tableaux and related meth
Descrição: This volume contains the research papers presented at the International Con- rence on Automated Reasoning with Anal... Veja mais