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
T1hWYU1UUjNLMU5sWVhwUlZ6ZHdPRUpGVURkeE1FRmhZMnhDWjBnMFJtTkVSaTg1TXpWNldUTkhlSGh6VVhabFVEVnhkRkpHVW14V1FrMDJhWFIxVUV0cVFqVlFUemhCYkcweWVFTkdORVpOVnpNNUwza3ZjekJyVFZvMU9XUjBLMFkyT1VKa1JHeE9kSGR5U0ZaSVowZDJNMGhCYWxwVFJIbFlRa3hxTlhvMVVsSlhkMVJ4VFUwM1NXTXhZVFpuZWtjMlZtdHdOa1JpYm1acFZHRmhiR0ZWUVVSMVdqQkNPSHB0YlhKUGNUaDNlRUV3TlN0bVVuTjZiekUyU1RacVpWUnBlbEV4YkVJMlRqQlpObmcyVFZwa1ZraE1Za2xuTUc1c2FVSXZaRWwyV0N0WVozaDNUa0VyUVZOaGNVYzRWMWRWZUN0alRIazRZMnBtTlhWMFoybGpTR2RrWVZsaGVXUnpka3NyWjFkVlJuZExjbGRKYURkdVdHNXFkSG94TlZNd2FYVnBUQzlXTlZneVNTdHBRWGh3VFM5TlJtWnlTbVZTYlRsa2JGQlpLM0pZZDFVd1ZTOVJXbTVtVlZOWlJVd3lWalowVm1NeGVEUjViMWhMWlZKUlpERjJUbU4zU25WTVlWaDJUV1pLZEd0TGFVdDRNbU01V1VSbmIwbEhaMnM1TVd0a1pUVnRlR1pISzJaMVEwbDBZWGxKVmtsSFVFVm1TbGc1Y1ZKaFVtSTBhbnBrVW1WbWNWcGpiVGswYlRrdmQzUTRSREE1TDIxR2N6azBXVEpuTDBOeWRIUk1ORVV4VEZkdmNIWlJiVkZCUW1kVFoyaEtTQ3MzZW1WTWFIaHhWa0ZrV1ZSYVZYQlVOM1psYW5aa1QxbG1iR2wzWVV4aU5FaDVTekZ3TlRKelNuRm9PR2RWZWtGaGQyaEhSR1pUZERCVFdGYzBWVk13ZWxOU1UwcHJRa3hsWkRnMk9IUnZaWE51VldkbFF6TnVVSHA1ZEhScU5rTlVZeXQ0WnpaV1oyMVpkMHhuZGtGRk0wWldSMGxFTm5ka2FWSkRTRWQ0U1VVeFVHeHdWMEpKYjJWa2EwdE1jbTFoV21ob2NESnVhbnBDUlhad1NVOTJjMDFzYjFFNWNVbGhVbXhNZDBWaU0xcGlTR1U0VXpnNVluTlFVVFYwVW5CM01rTlVSa0ZyVFUxWGNsbG9hVnBFVkZGWmIzRnpSWHA0Vlc4NVJrY3lPWE54TURWUlZrazJVSHBuY1ZWdU9XUXpPRGRQUmtVdmIwRk5URTV6VldGVmJGZEJlREJvT0ZsTVZtOVJORkJxZVhkcVptNTZSVWg0TlcxS1NUbHhSbEJ4UlZaS1p6WTRRVlZwVFd0RFEyTmxZemRYZG5VNFQyMUhlV1kwWTBGRVF6TTBXUzlzU1VJclRFRjRkMkpvUTFSSVp6QlJNVXRoV0hORUwwMVBNbVJqYW04MGJnPT06K2JLL0xXdkVQdk5uOHhOQml6Z25NUT09
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
-
eBook10%R-Calculus, Vi: Finite Injury Priority MethodSpringer Nature Singapore143,09€
158,99€ -
10%R-Calculus, Iii: Post Three-Valued LogicSPRINGER VERLAG, SINGAPORE202,77€ 10% CARTÃOportes grátis