R-Calculus, Iii: Post Three-Valued Logic

de Yuefei Sui e Wei Li 

eBook
Bertrand.pt - R-Calculus, Iii: Post Three-Valued Logic
idioma: Inglês
Editor: Springer Nature Singapore
Edição: novembro de 2022
10%
198,09€
Poupe 19,81€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (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.

Da mesma coleção

R-Calculus, Vi: Finite Injury Priority Method
10%
158,99€ 143,09€
Springer Nature Singapore
eBook
R-Calculus, Iii: Post Three-Valued Logic
20%
portes grátis
20% Cartão Leitor Bertrand
202,77€
Poupe 40,55€
SPRINGER VERLAG, SINGAPORE
R-Calculus, Iii: Post Three-Valued Logic
ISBN:
9789811942709
Ano de edição:
11-2022
Editor:
Springer Nature Singapore
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
ePUB para ADE i
EAN:
9789811942709
Acessibilidade:
Ver caracteristicas de acessibilidade indicadas pelo editor
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.