10% de desconto

R-Calculus, Iii: Post Three-Valued Logic eBook

de Yuefei Sui e Wei Li
idioma: inglês
Editor: Springer Nature Singapore, novembro de 2022 ‧
198,09€
10% DESCONTO CARTÃO
DISPONIBILIDADE IMEDIATA
Ebook para ADE
This third volume of the book series shows R-calculus is a Gentzen-typed deduction system which is non-monotonic, and is a concrete belief revision operator which is proved to satisfy the AGM postulates and the DP postulates.

R-Calculus, Iii: Post Three-Valued Logic

de Yuefei Sui e Wei Li

Propriedade Descrição
ISBN: 9789811942709
Editor: Springer Nature Singapore
Data de Lançamento: novembro de 2022
Idioma: Inglês
Tipo de produto: eBook
Formato e Compatibilidade:
Coleção: Perspectives In Formal Induction, Revision And Evolution
Classificação Temática: eBooks em Inglês > Ciências Exatas e Naturais > Matemática
EAN: 9789811942709
Acessibilidade: Ver características de acessibilidade indicadas pelo editor

LIVROS DA MESMA COLEÇÃO