10% de desconto

R-Calculus, Iii: Post Three-Valued Logic

de Yuefei Sui e Wei Li
idioma: inglês
Editor: SPRINGER VERLAG, SINGAPORE, novembro de 2022 ‧
202,77€
10% DESCONTO CARTÃO
portes grátis
Venda o seu livro
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: 9789811942693
Editor: SPRINGER VERLAG, SINGAPORE
Data de Lançamento: novembro de 2022
Idioma: Inglês
Dimensões: 155 x 235 x 20 mm
Encadernação: Capa dura
Páginas: 273
Tipo de produto: Livro
Coleção: Perspectives In Formal Induction, Revision And Evolution
Classificação Temática: Livros em Inglês > Ciências Exatas e Naturais > Matemática
Livros em Inglês > Outros
EAN: 9789811942693

LIVROS DA MESMA COLEÇÃO