R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Livros - Springer Verlag, Singapore - 9789811629433 - 2 de novembro de 2021
Caso a capa e o título não sejam correspondentes, considere o título como correto

R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 1st ed. 2021 edition

Wei Li

Preço
R$ 839,90
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 11 - 17 de set

O que dizem nossos clientes:

Política de devolução de 14 dias, em conformidade com a lei europeia de proteção do consumidor
Melhor classificação na Trustpilot
Adicione à sua lista de desejos do iMusic

Também disponível como:

R-CALCULUS: A Logic of Belief Revision - Perspectives in Formal Induction, Revision and Evolution 1st ed. 2021 edition

It extends R-calculus from first-order logic to propositional logic, description logics, modal logic and logic programming, and from minimal change semantics to subset minimal change, pseudo-subformula minimal change and deduction-based minimal change (the last two minimal changes are newly defined).

200 pages, 1 Illustrations, color; 3 Illustrations, black and white; XII, 200 p. 4 illus., 1 illus.

Mídia Livros     Hardcover Book   (Livro com lombada e capa dura)
Lançado 2 de novembro de 2021
ISBN13 9789811629433
Editoras Springer Verlag, Singapore
Páginas 200
Dimensões 476 g
Mostrar tudo

Mais por Wei Li

Ver tudo de Wei Li ( por exemplo Hardcover Book , Paperback Book , Book e CD )