adicionar à lista de desejos
Analysis And Synthesis Of Logics eBook
How To Cut And Paste Reasoning Systems
idioma: inglês
Editor:
SPRINGER NETHERLANDS, Janeiro de 2008 ‧
ver detalhes do produto
171,59€
10% DESCONTO
CARTÃO
WWpsRlFTdENORmhtV1hoaGJHZEtNbGRXYVRWSFp6QlRiaXRIUXpNdllrMXpTRGMzU1U5a0x6UnNTa0Z0U0VoMlpqSlJWamhoYm1OemMwRndkakF6VDJSdFIxaFVhMDl4UVZac2IxSnJVVlZpTDI5cFRYWkRiVWRtUlc1SlEwVjZSUzg0YWxCMlVsbFVLMjVyVURWdE9HRnpaMkp6VEdkSlR6Vm9jRlp5VEVjcllXVkxiMVl6ZURBclNqUkdWbkpMVWxsQ01FdHRkeXRUS3pSYVRqZFNVWEp1WVhveWNFNXdMMVEyVlROa09HaENTVGhoUmtobVZUUjJNMWN2ZVdwQlpUWlZWRTh5UTA1dFptUjVSbFJ2U2sxUFpEZzVaMUZQUTNwSWNUVlVlRVZDY1dWaGVURkVkMUp1T1VkS1ltaFJja3h0Y0d4R1VrZFBSVGsyZVdneGRUWmpiWGhCYWsxaFdHOVJTbXBhYUZneE1uWkJkbTl6YVRFeVNubFFRM3BtY2pKVWNVVmlSRWR0WjJOeUt6UTRUVUl6ZDBWaGFVcE9VVGc1TXk5eVIzZzVWWFkwV205b2FXRm1NaXN3UjFVeVRYQndlWGwwV25aa1RGTjBiWEpoZUVrelJtOUZORTlwUjAxa1ZFZHZVMDVzVGt4YU9HOUNSalZTZDNGYVJFODBhV1pzY20weGNXWnVMM2R3VlhreFJDdHZURUZtUTBwMk1FMU5ZMVJaY0ZnM01UZEpaakI0YWxOblUxTnBlUzkwYVhFMmIzZHlTSEkyVEZaTGRsQkhOMG9yZW5waFp6WXdlVEZaVTJoVk5sVkxiblI0TkROcGExcEJiVTgzUTJoRVpVNHZNR1ZTYW5kcFowNWFabGQ0YjJSbE9YUkRaR2szTUd0VlJFSlBkMFIzVjI4MFpTOWFUMGR1VUZabE4yaFRTSFpXTm1ZdllsSTNXSE0yVVZob1VqZERTbU4xY1VSdGRqVlhjR2xKVG1aYVJrZERRbXBKZVd0eFExZDBiRWxrVm5oSlVHaEZPVmxJV0VwaVVGcHlZbko1WkZaUWFVNHdXVmhQV0V4MVkzZDVPWEoxV0hFd05VcHpXbWx5TmtNeGVIQmlVSEZHZGs5b1JsRTRhVzV2YmsxSWNHMW5XaTlPUkhncmVrNTJjMm94Y1dzeGVHeFphRmxKYWpOYVVqWlhVRmxQZUhoUVpWZDJRbTAxWVc4NWNEVndORFZ1ZFRZck9ETktkRFJTVjFWdlRXdFFkR1I1U0Zsdk1FRm1TRTF2UVZCTWFFVlFZWE5oY1RjM2JqbGlVeTlLYkVaNVUwWlJRV2xKUFE9PTpEeUhpVkEzS2RUd3hIL0d6clZsbnF3PT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Presents the mathematical theory of combining and decomposing logics. This book covers mechanisms for combining semantic structures and deductive systems either of the same or different nature (for instance, two Hilbert calculi or a Hilbert calculus and a tableau calculus). It is suitable for those in mathematical logic, and theory of computation.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9781402067822 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | Janeiro de 2008 |
| Idioma: | Inglês |
| Tipo de produto: | eBook |
| Formato e Compatibilidade: | PDF para ADE |
| Coleção: | Applied Logic Series |
| Classificação Temática: |
eBooks em Inglês
>
Ciências Exatas e Naturais
>
Matemática
|
| EAN: | 9781402067822 |
LIVROS DA MESMA COLEÇÃO
-
Modern Perspective On Type TheoryeBook10%SPRINGER NETHERLANDS145,09€ 10% CARTÃO
-
Hybrid Logic And Its Proof-TheoryeBook10%SPRINGER NETHERLANDS118,59€ 10% CARTÃO
-
Introdução à programação em mathematica10%IST - Instituto Superior Técnico25,23€ 10% CARTÃOportes grátis
-
Decidability Of Logical Theories And Their Combination10%Springer Nature Switzerland AG54,06€ 10% CARTÃOportes grátis
-
A New Perspective On Nonmonotonic Logics10%Springer International Publishing AG121,66€ 10% CARTÃOportes grátis
-
Meta-Logical Investigations In Argumentation NetworksCOLLEGE PUBLICATIONS25,11€
-
Paraconsistent Logic: Consistency, Contradiction And NegationSpringer International Publishing AG162,21€portes grátis
-
Paraconsistent Logic: Consistency, Contradiction And NegationSpringer International Publishing AG162,21€portes grátis
-
Matemática Discreta10%IST - Instituto Superior Técnico25,20€
28,00€portes grátis -
Logic And ComputationCOLLEGE PUBLICATIONS19,63€