R-Calculus, Iii: Post Three-Valued Logic

de Yuefei Sui e Wei Li 

Bertrand.pt - R-Calculus, Iii: Post Three-Valued Logic
idioma: Inglês
Editor: SPRINGER VERLAG, SINGAPORE
Edição: novembro de 2023
Portes
Grátis
20%
202,77€
Poupe 40,55€ (20%) Cartão Leitor Bertrand

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, V: Description Logics
10%
10% Cartão Leitor Bertrand
211,34€
Poupe 21,13€
Springer Nature Singapore
eBook
R-Calculus, Iii: Post Three-Valued Logic
ISBN:
9789811942723
Ano de edição:
11-2023
Editor:
SPRINGER VERLAG, SINGAPORE
Idioma:
Inglês
Dimensões:
155 x 235 x 20 mm
Encadernação:
Capa mole
Páginas:
273
Tipo de Produto:
Livro
EAN:
9789811942723
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.