20% de desconto

Resolution Calculus eBook

de Alexander Leitsch
idioma: inglês
Editor: Springer Berlin Heidelberg, dezembro de 2012 ‧
59,61€
47,69€
20% DESCONTO IMEDIATO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
DOMINGO DIGITAL – VER MAIS ARTIGOS EM PROMOÇÃO
This is a presentation of resolution as a logical calculus and as a basis for computational algorithms and decision procedures. The book deals with the traditional topics in new ways and gives a systematic treatment of recent research topics.

Resolution Calculus

de Alexander Leitsch

Propriedade Descrição
ISBN: 9783642606052
Editor: Springer Berlin Heidelberg
Data de Lançamento: dezembro de 2012
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade: PDF para ADE
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9783642606052