Central de Vendas

SYMBOLIC LOGIC AND MECHNCL THEOREM PROVING

Mais informações
Autor:
Chang, Chin-liang; Lee, Richard (veja mais livros deste autor)
Editora:
ELSEVIER (IMPORTADOS)(veja mais livros desta editora)

Por: R$ 256,00 Em 5x de: R$ 53,51 No boleto: R$ 236,04

Comprar
EM ESTOQUE
Consulte aqui o valor do frete e prazo de entrega do produto
Opção de parcelamento via cartão de crédito
  • 1x de R$ 256,00 sem juros
  • 2x de R$ 128,00 sem juros
  • 3x de R$ 85,33 sem juros
  • 4x de R$ 65,91 com juros
  • 5x de R$ 53,51 com juros
Avalie:

This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters 2 and 3 constitute an introduction to symbolic logic. Chapters 4-9 introduce several techniques in mechanical theorem proving, and Chapters 10 an 11 show how theorem proving can be applied to various areas such as question answering, problem solving, program analysis, and program synthesis.

Código de barras:
9780121703509
Dimensões:
24.00cm x 17.00cm x 3.00cm
Edição:
1
Marca:
ELSEVIER (IMPORTADOS)
ISBN:
0121703509
ISBN13:
9780121703509
Peso:
640 gramas
Ano de publicação:
1973