adicionar à lista de desejos
Automated Deduction - A Basis For Applications Volume I Foundations - Calculi And Methods Volume Ii Systems And Implementation Techniques Volume Iii A eBook
idioma: inglês
Editor:
SPRINGER NETHERLANDS, março de 2013 ‧
ver detalhes do produto
237,84€
10% DESCONTO
CARTÃO
ZW5WSWJsTk9aRVZvVXpaUlQyUmpSR2RJY0hoWGVFczFVV2hxUWsxaU9VSmlUVWcxY1cxeFFuRnlObTF3WWtoelIySlRhR0ZoYVRWblNqVnZaRWx4ZUhvd2VIQXZOeTlZYjIxMWVYUjJVelpVVDJWQ1dGZDZSM2N4TUVORFNWWlhZaTloZFc5M1ozcDRVMk51T1dOb2NYRlhSREZHYUV4alVHWjJVblpOTUZoNlZrNXdZbVpxYjFFdlJYWnlPVFYxZGpsaFVGbGhSazVRY1ZJeldWSjBkbXBWTkhFeWVrTllVRE5UYm1KR1FrdDNhMGt6VW5wMVIzTlZRVWx3UzNBM1N6SlRkR1ZFTlVWblZrcExWVXRESzFsMFdTdERXWEV6ZGt0VlVWTkhZVlkxZGpKSmIwRmhSbXh6SzI5S2VUZFVURFJ3YmpGdWNHZHhOV2swTTI1R1ZFRm9Va0o1VDFaQk9VeG5lbFpXWlhKa1kyWkxjSFI0YWt4amEyZFpiVkZXZURaWFpFSmFZVUUxVW1OUGNIQjJiRVJhY2pndmJYaHNWMFF2YzJsMWVXRmxaWGgxU1VzNGFHdG5iM2hJVVN0VlNuZE5TVlYyUzBsTlpHTlZhV2QxVWpBelVtTnNXR3g0VDBWYUsyMXpjRVJ5TkZGTVRFcG1UM0p2UkhONVUzZFZaakpNZEdFeE1uSkJZMlEzTUZVemFUQnpNWFpvWlRkbFNuWlRRMHRpZW1SVWN6VklSRzA0T0dZelptaHlRbEV2Y21sQk9VZEJhV1EzUjBKMmR6TjFWVFp1UlhGNmMzbDRNVkE1UVdwSGRGUkpkMnRyWVZaUk4wdE1kV053ZVUxMVRrdDBOSFYwZURNeE9WbDBkSFFyVFU4emFrZGpWR05ZWW01akswUnRRekp3Y0VOcWNGbDRibGRuYkhZeFJIWllVMFZpZFVFelYwc3hlR0oxVTBkSFprTkZUMHBhU1N0MldIbERiRU0yS3pSdmFrTnZLekkzYjJoWVJuUlZVbXRWWjB4RVRHODFRMGwwVWxKcVRXbHpjMkY0UzFobGEwTjZhVFJQTDBkdE1YaGthRFI2UkVOM05FOWFWRGRWYUVSb01tTnBOVTl3TVRGYUswMTFlbVI2Wld4VGRVUlhXV0ZKTW1OeFNGZHhVVlkyYkV4WloxRktZbkZYUlc5bWVXOW5SMGxJYjNRNFJYUm1TbFpZYW1VMlpXZHlObFp0V214MlRrbFBPWFF6TVN0UmJuTjJWSEJsVDFkakt6QnJkWFJwWkU1NWMwbFdNMUZSU2s5cldESkZTMnRoVjNSbFN6aERkSEpWUFE9PToxTmoyeEU2TE11VjRMSEZzdTRFNkdRPT0=
DISPONIBILIDADE IMEDIATA
Ebook para ADE
SINOPSE
Presents the concepts and methods in automated deduction. This work focuses on basic research in deduction and on the knowledge on which modern deductive systems are based. It presents techniques of implementation and details about system building. It deals with applications of deductive techniques.
DETALHES
| Propriedade | Descrição |
|---|---|
| ISBN: | 9789401704359 |
| Editor: | SPRINGER NETHERLANDS |
| Data de Lançamento: | março de 2013 |
| 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 Sociais e Humanas
>
Filosofia
|
| EAN: | 9789401704359 |
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