adicionar à lista de desejos
R-Calculus, Iii: Post Three-Valued Logic
idioma: inglês
Editor:
SPRINGER VERLAG, SINGAPORE, novembro de 2022 ‧
ver detalhes do produto
202,77€
10% DESCONTO
CARTÃO
YlRKMmMyd3hNMXA0U2pkSWJtaHJVbk00Y2s4MFNsSktiMWgzVkhSemNXbElSVGhsYmxkb2IwVlRjamxpVTBOS0szY3hiWEF2Wm5BeVUxRkhTakZ5U0VSa1luQndhMnQ0ZVVWaWFqaHpXa0VyU25SVEszaGpSSFZqWlRZMVZVWkJlVEl2VDBGMU1WcHZaV0Z5YkN0WFdrVnNlRVZ1VURBek1tOXRNMjVsZEZWMFVVSjFaa3BCYW13eU9HMW5lbkJCWjFoRVNVUlFPVlI2VjBaRU0xVXlaekJTVTFoclJuVmxiWGRQTjJKek4zbG5RbkpNYlZsWk0zSk1NakpQUVdsVFZHUlFPR294WkdWYVJIUTRhMU56ZVZOR1ZWQm1ORGwxZHpacWVYSmtNRmxOVDJ4SWQydzFNa3hFVTJZcmFWVkpWWEZJU1hKa0t5OUxkRXBtU2tkdGNHMUxZMFoxWW04cmVFUlNlRnBHVEZKWVZ5ODNRMjVsWXpoa1JqWkZiVnB0VEdaVlRDOVdkRmhuY0hKemFIbEhTbXRsTUUwdmIwUkJUelpGVDNORVdtdHBRMEl3TlM5TVMwcFNTMVl5TjNjM05HUnljVXN4UW5WRldraEljVmxVTjJwblZFeDRXa1ZLYUZwalRUaG5SWGQzYkhOSVNXUlVSRzQ0U1Rrd2JtUkhTVFk1VTA5REsydGtNemczTUhKNE1reEZlbE55Um04NFJFcFZOa1YyVmpVeWFITlNNMWQyVTJoalV5dFZRMjVFVWtoalZWQlZhMlpIWm1vMVdIY3lPVUpaUkVGdVdIbHJlVTFVYzJnMk1YSjRTV3hVZUVKeFZsRmxUalY2UTJGaE9EQldZbG8xYUc1RU4yWndWRU42YWtsUWFqaEpTVE54WTBabGIwSnRkRmh6TlZGUGJUbDFRMWd3UnpjMUwwNTJhMEZKZHpkM2QzUlFUMHBTTjNWUk9YSjJLM2RoVTBGalUydFZhblJUYlc1TGRYVlhVMHh5UlVNemEwZEtaWE5yVUVJemJFdHZjMkZUTkRsR1MwTm5Oa2xrV1U5TGVqQnplamcxWlVoaWRtZHRhWEp4WVVOcVNIazNWV2w0V25aU0wxVjVZbFpoTWpGeWFHUXpRMUYxV1RFNVJHUnRVM2hDUkdsUWIxUk1UbE0zWjNWNlpVRkRaVVE1TUZWbmFsbHVTMHA2VkZwbFRtMWtiSEppTW5WRlpWZGlXbFpoZDFRdlNGZHBMMFZHVTNSRE5uRlplamgwVWtVMmNGYzFkMFV2YjJka09XUmtNMWRqWm1KVVN6QXZkVGhFYWxWQlFtRm1kRmtyY1ZacWFEUk5OMEpSZHpGck1ucExTa3hQTXpCdmVHRlRVMVZzYTJ3NGMzSXZUMVZTVkZWVVFTdHlTazAyV0ZScVVsUXJNVlZMV25wRlNYZHVkbGhEU2l0MlVGbzRaV0pKVjNod1JXWlRObVJqTTA5WVFnPT06MWhUblZkSVpoZ3lQbEFQSlFHOWlZQT09
portes grátis
Venda o seu livro
SINOPSE
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.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789811942693 |
| Editor: | SPRINGER VERLAG, SINGAPORE |
| Data de Lançamento: | novembro de 2022 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa dura |
| Páginas: | 273 |
| Tipo de produto: | Livro |
| Coleção: | Perspectives In Formal Induction, Revision And Evolution |
| Classificação Temática: |
Livros em Inglês
>
Ciências Exatas e Naturais
>
Matemática
Livros em Inglês > Outros |
| EAN: | 9789811942693 |
LIVROS DA MESMA COLEÇÃO
-
R-Calculus, Vi: Finite Injury Priority MethodeBook10%Springer Nature Singapore143,09€
158,99€ -
R-Calculus, Iii: Post Three-Valued Logic10%SPRINGER VERLAG, SINGAPORE182,49€
202,77€portes grátis