adicionar à lista de desejos
R-Calculus, Iii: Post Three-Valued Logic
idioma: inglês
Editor:
SPRINGER VERLAG, SINGAPORE, novembro de 2023 ‧
ver detalhes do produto
202,77€
10% DESCONTO
CARTÃO
Vmt4RWJXVlhXa2xFU20xQ1dWTlRZV0pCY0hGbFFXTlhMMUZtYzBNMlVqZGtWa05xZEhwWFVGUldXREZ4WTJJd1JUWmhUek5xVFM5d2EyOXJRV1JFV2xKVWFqVnlSbGh3VVhSVFJGSkdOVFoyT1ZVdlFreGxlbFp4UldsblRYbFJiRFIzVVVKNFMzZzFkMUF2UkdveVN6QjRUbkIyYTBWMFJtWkxZa28zVVdRdmFsRjVPSFJ3ZVdNM1lUZGlSM1VyWm1FNE9GUklka3BSVUVjNWF5dG9lVE5FYkdobE9XSndLMU5oVEVORGJGRldSMVZYSzNoWmVERTRjbFpMTTI5UE5UZDFTazVSTUVWdGVYRmpUMUkxYUhGemRVUmtiMlZyVEhFemJqRnNXVzh4ZDBwMVZrVXpSMHRUVkRSdlJ6Z3lVREYxV2xwUVNFTjViVmh1TjA1ck1WSmxkaXRzZGsxbWFWTjBkWEowYlRKSWJ6WklWVkJvZUd0bFlrNDNlV1prUkZWQ1NEWjFkbHBuZDNoNlZreG1SV1F5YVVGNFdtUkJVMDR3YUVaaloxTldUblJUTTJWWWQwMVpPR3hWUVd0VmEwUTNXbE50YXpadU5GazBXVEZ2VFZGS0wxWjZka2RLUTNScFdDdEZLMjFKTVhKV2VXUktabHBIY0hoQldESmlkbWh0VG1GTVIxWlNRamQzTmtGWmRIRjFORFZWUTJONk4zWkVjbm81UzFwSFRISXJWMDlxTUVKdldIaG1VMFpCTldOMmFqbHNkQzlVTlUxU0sycGlibGd2VkRKR1RGUkRjVGhDWW5ka1pTdFdRbklyUlROb2NGaG1lVTFTYWtORGNXa3pRV28wZFRkNU0waGlhbUo1Y25acmREZHJaM1ZQZVhkaFkwMVhNbXB0U2k4M1lYZEhlR0p6VG1JeWVHaElObVIxU1M5YU1DOVVRWEZOVW1sVk5scHlkMjlaY1ZabFRscHFSa0ZEVUd4Q1NrUTVPREJtV1VoSWJ6aEdlV1ZCVDBOQlFYbHNWM3BKWldJMmRsSklhVFJRTlRWMmJGZ3libUZRVDNkYWFqSlVMMVF4VUhWNFJUVXZTRkJHWW1sNVV6QmxhR3BoV0hKaVEzcDRZbFZoWTNsdVJEZG1SMjByYmk4MFlYUmplalJOT0RJellXdDRhM05TWW5OcU4ybFlhVnBXUVZZeE1USjJNMmhPTmtOa01taHlVRE1yTlVkeFNVZFlXVkpKVm1OcGRuZFVlVVY0T0dKUVdVSkxVWGRaUVZwSWJHSm1XVGwzUWxKRVVHb3JNV3BUTTJkak5rOHlSRlJZUTJkNWMxZHlSM2czUms1UU4wNTRlaXM1SzNjMGJIWnZkMDAwYzA1SmNUWktSMkZDT0RoQ1QzQnhNaXR0TmpkRk9TdG5OM1JWYUVwV1ZVeHFaVVJKTmxORGRqVnNVMjh2VUZFeFpqWnlUbWhMU0RkWFR3PT06WFBLaHRwMTNKYjlyRWNYMkNxR005Zz09
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: | 9789811942723 |
| Editor: | SPRINGER VERLAG, SINGAPORE |
| Data de Lançamento: | novembro de 2023 |
| Idioma: | Inglês |
| Dimensões: | 155 x 235 x 20 mm |
| Encadernação: | Capa mole |
| 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: | 9789811942723 |
LIVROS DA MESMA COLEÇÃO
-
eBook10%R-Calculus, Vi: Finite Injury Priority MethodSpringer Nature Singapore143,09€
158,99€ -
eBook10%R-Calculus, V: Description LogicsSpringer Nature Singapore190,21€
211,34€