Aguarde...
 

LOGIC FOR COMPUTER SCIENCE

FOUNDATIONS OF AUTOMATIC THEOREM PROVING


Produto Indisponível

Veja mais títulos de Matemática

Sinopse

Detalhes do Produto

    • Subtítulo:  FOUNDATIONS OF AUTOMATIC THEOREM PROVING
    • Origem:  IMPORTADO
    • Editora: DOVER PUBLICATIONS
    • Edição:  2
    • Assunto: Matemática
    • Idioma: INGLÊS
    • Ano de Edição: 2014
    • Ano:  2015
    • Código de Barras:  9780486780825
    • ISBN:  0486780821
    • Encadernação:  BROCHURA
    • Altura: 9.00 cm
    • Largura: 6.00 cm
    • Comprimento: 1.50 cm
    • Quantidade de Itens do Complemento:  0
    • Nº de Páginas:  496

Avaliação dos Consumidores

ROLAR PARA O TOPO