Aguarde...
 

PROOF THEORY AND AUTOMATED DEDUCTION


Produto Indisponível

Veja mais títulos de Matemática

Sinopse

Detalhes do Produto

    • Ano:  1997
    • País de Produção: United States
    • Código de Barras:  9780792345930
    • ISBN:  0792345932
    • Encadernação:  CAPA DURA
    • Complemento:  NENHUM

Avaliação dos Consumidores

ROLAR PARA O TOPO