Frete Grátis
  • Google Plus

Automated Deduction - CADE-15 (Cód: 6325659)

Claude Kirchner; Helene Kirchner

SPRINGER VERLAG POD

Ooopss! Este produto está temporariamente indisponível.
Mas não se preocupe, nós avisamos quando ele chegar.

Ooops! Este produto não está mais a venda.
Mas não se preocupe, temos uma versão atualizada para você.

Ooopss! Este produto está fora de linha, mas temos outras opções para você.
Veja nossas sugestões abaixo!

R$ 524,60 em até 10x de R$ 52,46 sem juros
Cartão Saraiva R$ 498,37 (-5%) em até 1x no cartão ou em até 12x de R$ 43,72 sem juros
Grátis

Cartão Saraiva

Descrição

This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998.The volume presents three invited contributions
together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on
resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.

Características

Produto sob encomenda Sim
Marca SPRINGER VERLAG POD
Cód. Barras 9783540646754
Altura 23.40 cm
I.S.B.N. 9783540646754
Profundidade 2.38 cm
Referência 9783540646754
Ano da edição 1998
Idioma Inglês
Número de Páginas 464
Peso 0.45 Kg
Largura 15.60 cm
AutorClaude Kirchner; Helene Kirchner

Avaliações

Avaliação geral: 0

Você está revisando: Automated Deduction - CADE-15