1. Home
  2. Springer Nature B.V.
  3. Não Informado
  4. Automated reasoning with analytic tableaux and related meth
imagem ilustrativa

Automated reasoning with analytic tableaux and related meth

Não Informado

Salvar edição
  • Editora: Springer Nature B.V.
  • Ano: 1999
  • ISBN: 9783540660866
  • Automated reasoning with analytic tableaux and related meth
Ler sinopse completa
novos A partir de R$ 1.068,78 + Frete grátis
Automated Reasoning with Analytic Tableaux and Related Meth

Automated Reasoning with Analytic Tableaux and Related Meth

Não informado | 1999

Descrição: ThisvolumecontainsaselectionofpaperspresentedattheInternationalConf- ence on Analytic Tableaux and Related Methods ... Veja mais

Comprar mais tarde
Ver detalhes
Falar com vendedor
R$ 1.068,78
Calcular frete ›

Veja as outras undefined ofertas de novos deste livro: