R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution - Wei Li - Livros - Springer Verlag, Singapore - 9789811942723 - 21 de novembro de 2023
Caso a capa e o título não sejam correspondentes, considere o título como correto

R-Calculus, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition

Wei Li

Preço
₪ 642
excluindo impostos

Item sob encomenda (no estoque do fornecedor)

Espera-se estar pronto para envio 1 - 7 de jul

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, III: Post Three-Valued Logic - Perspectives in Formal Induction, Revision and Evolution 2022 edition

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.

273 pages, 1 Illustrations, color; 2 Illustrations, black and white; XII, 273 p. 3 illus., 1 illus.

Mídia Livros     Paperback Book   (Livro de capa flexível e brochura)
Lançado 21 de novembro de 2023
ISBN13 9789811942723
Editoras Springer Verlag, Singapore
Páginas 273
Dimensões 408 g
Idioma English  
Mostrar tudo

Mais por Wei Li

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