: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: 2000
- ISBN: 9783540676973
- Automated reasoning with analytic tableaux and related meth
Descrição: This volume contains the main papers presented at the International Conference on Analytic Tableaux and Related Met... Veja mais