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
20%
198,09€
158,47€
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.

Coleções

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
20% imediato
portes grátis
162,22€ 202,77€

20% imediato
portes grátis
20% imediato
portes grátis
162,22€ 202,77€

20% imediato
portes grátis
20% imediato
portes grátis
162,22€ 202,77€

20% imediato
portes grátis
20% imediato
portes grátis
162,22€ 202,77€

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.