adicionar à lista de desejos
R-Calculus, Iii: Post Three-Valued Logic eBook
idioma: inglês
Editor:
Springer Nature Singapore, novembro de 2022 ‧
ver detalhes do produto
198,09€
10% DESCONTO
CARTÃO
V1ZWRlIyUXdVMGxrUXpCVWQwdG1SVGxQT1RCb056WjNNbEY2WWxrNVFqSmpRVlZ1ZDAxbmEyZDJSV2x0YWs5SU4zWmtOVmxQYlZCaGNHOXljVTFwTnpCUGQwRm5NblZGTTNkemVqRkJXbmhtWlZvNFFVdENaVzlpVEc1bk9FcGhaRmhRWTNWSmIyOUthbEJDVEZOUE1FUnRMMmRzU0ZNelJsRTNkVUZGWlVwNlVrWlljamRUYWtOdGJuUkVPV3RDUVdGWlREZHNVV3QwVkVwaGNqbDNSME5wVnpsV1ZuZDZSVWRtZENzMFJWWjBhRkJoVlhWRFNIRkdSVFkyU1RGamIyWnZXVU5QTUVoVEwwY3dUR2w1Y1U0dlluRTVZelY2TDB4Mk1ISkVURE01WnpCNFVrRk9TbmxCVml0VWFGSTBSbTV5VFZKTFZraGhTeko0Y25ONlowaDZkelozVjFsVFJrOWFVRTl0UkRKaFVWbHhVRUZ0VVhsa1owWlhNbXhtWldRM0x6aExZUzh4V21JcldqSkVOMFF5WlM5d1FYQkVXWGRXYlRSQlZHWkRTbkp4V0dSUUt6WnpWbTlWZGtGWFpGbHdZWGRYSzFadlVHd3hiSEFyYVdOalluUlRiM1J4TkdveFYyOVJRMkoxWkdkcGNuRk9NamRtZGpZMlVtbGlZVGxYZFRKc2VHTlNWblp3U0RRek1sUk1XRGRXWWswd00zaFZWbVZ5TW14RFUwTndaVEk1V1RsclRTOTJZMVZpU25sc2JHNUxhVEJpY2xGT2VVRlZkek5QVEhWTU5qSTFTREZMY0RKYVNWVmhPRkpPY2xocVJtRkdZekpSUkVGVmNEQXZjQzlIY3pKVllXZE1TVmxzTTFCS1pUTktRMFYyTVRsNGQzTjJSQ3RCY1Zrd2VFeExMMEpuZW1acFZuRkljRTlGZDBRelNXWlVUWE5sT1ZoSWJqa3lWV3NyYjFnNVMza3ZTbFJGZVZJeWRWUjJUbTVFYTNWT2NGaGtWakZaYTI5clIyaHlaMHh5Ykd0R2RuQTFkV295UjFkb1YxWmFha0ZhUzJwT1RXZGxSMk5JVVZGeU5HVlhXbWNyVEZOTE1VbGxhR0o0UW10V1lrMU9SbHBMYkRaSmIxWnRMMUJWZVZCdGIxRmFhREo1VURVdlNGTnBkVTByVVhKVFlraG1jR0p0YjFkd1RGZHhVbU5pTTBocWRVOWlWVTF6YWxKdlprdE5iM1J3VFRRNU1uUnplWEZKTkU1MlF6Z3ZWWHAwYXpoa2FuQkpaMnBwVGsweGExaE1ha2N2V2xnMlZVWTJVSE00UFE9PTpENHN5M0g1NEk4QlNzei9zcitOenBnPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
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: | 9789811942709 |
| Editor: | Springer Nature Singapore |
| Data de Lançamento: | novembro de 2022 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | |
| Coleção: | Perspectives In Formal Induction, Revision And Evolution |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9789811942709 |
| Acessibilidade: | Ver características de acessibilidade indicadas pelo editor |
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