Capa do artigo First-Order Logic And Automated Theorem Proving
10% de desconto

First-Order Logic And Automated Theorem Proving eBook

de Melvin Fitting
idioma: inglês
Editor: SPRINGER NEW YORK, dezembro de 2012 ‧
98,71€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
There are many kinds of books on formal logic. It does contain a thorough presentation of formal logic and many proof techniques, and as such it contains all the material one would expect to find in a course in formal logic covering completeness but, not incompleteness issues.

First-Order Logic And Automated Theorem Proving

de Melvin Fitting

Propriedade Descrição
ISBN: 9781461223603
Editor: SPRINGER NEW YORK
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Coleção: Texts In Computer Science
Classificação Temática: eBooks em Inglês > Informática > Outras Aplicações
EAN: 9781461223603

LIVROS DA MESMA COLEÇÃO

VER MAIS TÍTULOS DESTA COLEÇÃO

MELVIN FITTING

VER MAIS TÍTULOS DESTE AUTOR