Matemática

Resolution Proof Systems

An Algebraic Theory

de Z. Stachniak 

eBook
Bertrand.pt - Resolution Proof Systems
idioma: Inglês
Editor: SPRINGER NETHERLANDS
Edição: dezembro de 2012
10%
118,59€
Poupe 11,86€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

Da mesma coleção

ver +
Automated Reasoning
10%
10% Cartão Leitor Bertrand
118,59€
Poupe 11,86€
SPRINGER NETHERLANDS
eBook
Piton
10%
10% Cartão Leitor Bertrand
59,61€
Poupe 5,96€
SPRINGER NETHERLANDS
eBook
Resolution Proof Systems
An Algebraic Theory
de Z. Stachniak 
ISBN:
9789400916777
Ano de edição:
12-2012
Editor:
SPRINGER NETHERLANDS
Idioma:
Inglês
Tipo de Produto:
eBook
Coleção:
Automated Reasoning Series
Formato:
PDF para ADE i
Classificação Temática:
eBooks  >  eBooks em Inglês  >  Ciências Exatas e Naturais  >  Matemática

eBooks  >  eBooks em Inglês  >  Informática  >  Outras Aplicações

EAN:
9789400916777
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.